{"entities":{"Q2851910":{"pageid":2862630,"ns":120,"title":"Item:Q2851910","lastrevid":83774141,"modified":"2026-05-07T11:14:58Z","type":"item","id":"Q2851910","labels":{"en":{"language":"en","value":"Counterexample-preserving reduction for symbolic model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213548"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851910$29F56878-D3E5-43C7-A66B-C61569A35212","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd6f8d579f511f5528a08e01d609f6ac5cfe4dd1","datavalue":{"value":{"text":"Counterexample-Preserving Reduction for Symbolic Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851910$DACDBDD8-C2CF-4710-A609-5D0E4DA4523E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b1a0d706dd2585ca064db69e4703248ae502ccf","datavalue":{"value":"1405.68188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851910$C9155FD9-C7C1-4C86-BDCB-B96F08571A34","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c840b0bd829fe218f0070a19f70205a3b7e025e2","datavalue":{"value":"10.1007/978-3-642-39718-9_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851910$0DBF3984-2957-4217-B941-C2A9F351CE9D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"516f52fd1e79844cbe7b2f5aeb3aef6232b4b628","datavalue":{"value":{"entity-type":"item","numeric-id":364385,"id":"Q364385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851910$6E22E5E4-2786-4EB0-881D-74B09BB049A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78e1765f7f48b93959063ee9de183df5d35d45bd","datavalue":{"value":{"entity-type":"item","numeric-id":2336645,"id":"Q2336645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851910$4B1A67F6-F371-411F-8DA4-BBE92EA27E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a987699fd23888733c3cf6186ec5b68180cd27f8","datavalue":{"value":{"entity-type":"item","numeric-id":281290,"id":"Q281290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851910$4D5C2F93-38F0-4C60-A752-C0DC994AD0BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd40dcc66f818f629fdf5ea0ec1430cc08099ddf","datavalue":{"value":{"entity-type":"item","numeric-id":298500,"id":"Q298500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851910$6E3B6496-C66B-4459-8B2F-556AC819286B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd013030da45f468fbef74955f8c67832b7b2ff3","datavalue":{"value":{"entity-type":"item","numeric-id":364387,"id":"Q364387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851910$9AB4AA0A-8DD0-40D0-9CC5-BB881C1BBE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da90f21edc8aedcea520f32e6546eaba263a853f","datavalue":{"value":{"entity-type":"item","numeric-id":6065814,"id":"Q6065814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851910$AD92A19D-BB4E-4B89-BDB2-17B0D0392610","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"427e8eb9fd32bb5d57a5a57855d39d1b11cc9ba1","datavalue":{"value":{"entity-type":"item","numeric-id":2851896,"id":"Q2851896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851910$64DCD571-8456-48BA-9172-71C9B98FA8CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1145dc38b4d246480a51682f22dd7d8a161033fa","datavalue":{"value":{"time":"+2013-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2851910$7D7218E5-AEB6-4B3D-88C5-79363A59CC14","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26828ed31af08863733863f4bc15db5840341d64","datavalue":{"value":"https://arxiv.org/abs/1301.3299","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851910$1525BA49-83ED-4346-A0B9-B7A06BE23BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"dfaccbc2c575c3ab20088a254e200eaa6302fdd7","datavalue":{"value":"https://projecteuclid.org/euclid.jam/1412177676","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851910$87C5FCB4-97B7-4F8A-B1B0-BDB95E2F510B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851910$F2E8C747-2FC3-4333-AF76-B3DFA38E5C2C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e11ba61b92d0d51d932cf5dfeb8eac198f4099c2","datavalue":{"value":"6213548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851910$ED1C0E8C-AF9A-4E5C-8B42-54292354B458","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851910$65E872C5-08AD-4E5E-9F5E-08274C055945","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2738e225c1e724de5fdf6d405764b64149722948","datavalue":{"value":"W1552191998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851910$15EC0C47-E852-41DB-B82D-6F4E8480CFF6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a94a49b204830ea2a7b131161459fc4bae8a1744","datavalue":{"value":{"entity-type":"item","numeric-id":2336646,"id":"Q2336646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dd48b89ab1407d3e25139b8ce3be36d459c7cc6","datavalue":{"value":{"amount":"+0.9682629108428956","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2851910$1C4EFB88-21BE-4E86-AC5E-D6D857E8BCC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c58649780c44d0e6e266dcfe7f7ffd4b10e2f702","datavalue":{"value":{"entity-type":"item","numeric-id":4787241,"id":"Q4787241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a8fd3abc5b34f39679ad9eb7f28707471b59d42","datavalue":{"value":{"amount":"+0.7720524668693542","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2851910$D8A4D7C5-FBDB-43E4-ACDF-ED1853877801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"052eef5bfe13e7e87b56a0267c03cfd0c3099e2f","datavalue":{"value":{"entity-type":"item","numeric-id":5703781,"id":"Q5703781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a06c2d83d1f9e1fd5776308d1b6196a00d93d12","datavalue":{"value":{"amount":"+0.7659844756126404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2851910$001013A0-21A4-4C27-BD95-47AEDD9A671B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49889eaa14e1e79792df2f7fee33e78df0c895da","datavalue":{"value":{"entity-type":"item","numeric-id":4808748,"id":"Q4808748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61e0f727f1454d12e27be66b385f9542ea260008","datavalue":{"value":{"amount":"+0.7463219165802002","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2851910$AA3FF285-22CA-4084-8B7D-FE061A2F7829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"662f051937086bb2907463bf6ee78e7b61ae81e9","datavalue":{"value":{"entity-type":"item","numeric-id":4493882,"id":"Q4493882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97bb431bef0c24a71bd6e915c6af8ca3d7019cd6","datavalue":{"value":{"amount":"+0.7446922659873962","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2851910$3BFB4CA3-7D19-4D95-9A3F-32531656D5A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Counterexample-preserving reduction for symbolic model checking (scientific article; zbMATH DE number 6213548)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Counterexample-preserving_reduction_for_symbolic_model_checking_(scientific_article;_zbMATH_DE_number_6213548)"}}}}}