{"entities":{"Q3540066":{"pageid":5569970,"ns":120,"title":"Item:Q3540066","lastrevid":81044291,"modified":"2026-05-06T17:35:19Z","type":"item","id":"Q3540066","labels":{"en":{"language":"en","value":"A Direct Algorithm for Multi-valued Bounded Model Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5369263"}},"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":"Q3540066$0DCD3B7A-DEF7-491A-9C70-A9EE323329DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd28428b690f6ef1a63000e6916657ce0e7f2601","datavalue":{"value":{"text":"A Direct Algorithm for Multi-valued Bounded Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3540066$075C3A2C-DA86-4DA1-9D8D-7030668D0156","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec62399e3cd2620c1c26923c3c36b0236be372e1","datavalue":{"value":"1183.68360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540066$73BFDEF3-E144-4583-908B-AF235803B3B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b99dad3af7f95ac9d0e75fe93497c55546f025ef","datavalue":{"value":"10.1007/978-3-540-88387-6_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540066$E7DAFDAD-A210-4677-ABA4-DC04DD8EA2F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"139b8bc7413bb2fdc2a363739c348f5bbc8b5b12","datavalue":{"value":{"entity-type":"item","numeric-id":3540065,"id":"Q3540065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540066$47AA1D86-16D1-4434-9BC6-BD5998802732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c79719327e302b2e8896050f22e092a513d420ee","datavalue":{"value":{"entity-type":"item","numeric-id":235614,"id":"Q235614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540066$81DA0BAA-2F67-4C31-B466-20DA5016A57F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540066$79441ECC-F1DF-47F3-AEBB-F4DDA487DF67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391f01da9d69c422d0ad9b2dbbb0b627908b1ac6","datavalue":{"value":{"time":"+2008-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3540066$260E5128-3D32-42DD-98D8-4BD344280FE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540066$16B31E71-F238-4EAD-826C-E88ED5928AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540066$36FFA29D-7193-465B-855D-1EB8B4D6DBE0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3ce55aba35c101b133b1265981fc32cb35c6568","datavalue":{"value":"5369263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540066$13AA72D4-FE72-426E-8A2A-AD9F395F19A8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2a216d6c09dac0df49b00b19ed2bb5c4336ef7f4","datavalue":{"value":{"entity-type":"item","numeric-id":20231,"id":"Q20231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540066$7D266E61-267D-4155-8401-C3127423B03C","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":"Q3540066$E9B6C450-632F-42EA-9E3D-D6266DC5E16C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eec834873c41ddf7f07f714c1896e5b155d8545b","datavalue":{"value":"https://doi.org/10.1007/978-3-540-88387-6_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3540066$634BAA99-8164-4FF8-A4E4-2B8F98CE80C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1053eab106b441622a2d41278c8085e1e5638708","datavalue":{"value":"W1561235555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540066$53B7D2B6-150B-4BB7-828D-87C4E671FEE8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"973035f421250afdf12dec3f786615cdfe8bcc0b","datavalue":{"value":{"entity-type":"item","numeric-id":2769604,"id":"Q2769604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540066$2D52ACCC-00A2-4BA4-9EDE-766E6957F7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9d639f9040cbf8a119fff8ba5452b5467f6b925","datavalue":{"value":{"entity-type":"item","numeric-id":4791849,"id":"Q4791849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540066$724A8932-4B9C-4396-9419-5585C2AD9178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5a4ef9c2d07db759cae7360b9f45883aa9ce65","datavalue":{"value":{"entity-type":"item","numeric-id":862857,"id":"Q862857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540066$F3135BF7-A56C-467F-9C83-A5AE8BC90B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6c2a682b2e9dec9a4775e1451429ca20ffba5fe","datavalue":{"value":{"entity-type":"item","numeric-id":3989936,"id":"Q3989936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540066$521BECAC-9324-4953-A25E-B9ACF7AEEA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8d15a265400ee74b7ccc90f74849e6820eee631","datavalue":{"value":{"entity-type":"item","numeric-id":5687246,"id":"Q5687246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540066$F3EE1F9B-D77F-4CA1-BA8E-D9C531D53275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008723b33cb14bbda59226503d753d137dc6f8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1098330,"id":"Q1098330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540066$6CC897CB-8BDC-4E76-AC97-8115D6049D47","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b12f51fa7508470e8c4ac3504e447c6d1dcdb61","datavalue":{"value":{"entity-type":"item","numeric-id":5466469,"id":"Q5466469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9efbf193c68981868714171a36e7699fda027632","datavalue":{"value":{"amount":"+0.8473694324493408","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":"Q3540066$A5D60C58-9109-4390-A12F-B24E59C56CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca31711aaa221a2cb2e1d07abcdbe3134d735ffe","datavalue":{"value":{"entity-type":"item","numeric-id":5900571,"id":"Q5900571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12bb496d45c92e42a1265234213eb2d89791c085","datavalue":{"value":{"amount":"+0.8261739015579224","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":"Q3540066$70B990DF-BCC1-4902-8E92-D153426A3E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0c745f091e731485f18385d4d0cd1026ea66b85","datavalue":{"value":{"entity-type":"item","numeric-id":2769604,"id":"Q2769604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"572da7e7604ddd16f35e613a06c44a9629e682bb","datavalue":{"value":{"amount":"+0.8146226406097412","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":"Q3540066$793E11BB-07A7-4556-AB2A-60D957465DD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e72c57564b42540b67653ee9fe2c14a4d275e82c","datavalue":{"value":{"entity-type":"item","numeric-id":4450445,"id":"Q4450445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56164217390389ac9cfbfe784490ad158f7cea5b","datavalue":{"value":{"amount":"+0.7813005447387695","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":"Q3540066$C6F9596C-BDB1-41DE-9C5D-A729BEAE1F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a9971c9b081580de607a54dcf1248f1e303e51d","datavalue":{"value":{"entity-type":"item","numeric-id":862857,"id":"Q862857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa0c9ebd91b1265ee435c9e7061963c4112be65b","datavalue":{"value":{"amount":"+0.7797772288322449","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":"Q3540066$A0E27147-3E72-4B90-87DF-526066845549","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Direct Algorithm for Multi-valued Bounded Model Checking","badges":[]}}}}}