{"entities":{"Q3075471":{"pageid":3086187,"ns":120,"title":"Item:Q3075471","lastrevid":45388840,"modified":"2025-12-06T21:16:44Z","type":"item","id":"Q3075471","labels":{"en":{"language":"en","value":"SAT-Based Model Checking without Unrolling"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5851844"}},"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":"Q3075471$0315ABB9-CCE8-4378-A222-C76EDE3FD61E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"926183205269a8205ac7b9770dea542c5dd59ce3","datavalue":{"value":{"text":"SAT-Based Model Checking without Unrolling","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3075471$FC3DDF9B-1C2C-44A5-B21F-ECD966F856EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8d2601bd6d1fe20738426664ca42b7ca6da9578","datavalue":{"value":"1317.68109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075471$567F6FBF-A11C-4A85-92C6-B1C898637F49","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc2bd4af6bdf732971880b27dc4a28d6b4900800","datavalue":{"value":"10.1007/978-3-642-18275-4_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075471$4565ECCE-0C1E-4B2C-91B6-9C1E4CBB93F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93bcc46c92320d32acc10288ada535d0a0700679","datavalue":{"value":{"entity-type":"item","numeric-id":939165,"id":"Q939165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075471$C23B5DA8-5C71-4FF8-ABC0-4271CC5AF034","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075471$6D49AEAF-17D3-4A49-8270-18E103FC4846","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"69f954a0f2b7ac472ed97c8eb163db44a29d7b9a","datavalue":{"value":{"time":"+2011-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3075471$EF755C00-1251-42F3-8EE9-62D854B000EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075471$50FCD1CF-6CFA-4AC5-B4DF-C27C23A36C19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8289ae30c5ad15c41fb4cdef57ab843a3926daf9","datavalue":{"value":"5851844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075471$13521B67-8162-4474-968B-B18612D0CE64","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075471$755B0E61-342D-4DC7-912D-7B882DA236C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075471$38F85B54-FC23-46B7-92B4-1C706D26859F","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":"Q3075471$0E239F0D-ADAA-4FCE-A8C6-29F337387128","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"19878324a7f0bed5e4adbe371365b1e3c05cf4d5","datavalue":{"value":"https://doi.org/10.1007/978-3-642-18275-4_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q3075471$A9FB6E62-E328-42C1-AE3F-D394855D9AFF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"14ac3944b0310d3367b6ffc44351b0c46e1a980d","datavalue":{"value":"W3138459719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3075471$5575E071-38B3-44EE-96EA-9AB836EC7A5C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075471$1E938621-AAE4-45CB-9DE9-A948E27FACF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075471$496E599F-5F3E-4E69-9694-8E82CEE7A83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ef5f661c4f0016c7fdb92e88e8b94907f8385b","datavalue":{"value":{"entity-type":"item","numeric-id":5713748,"id":"Q5713748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075471$6F288B8A-FF09-4009-9F95-9C4D7661A33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f97214e6ee417b23719b1926d0dadcd8c017b900","datavalue":{"value":{"entity-type":"item","numeric-id":3612472,"id":"Q3612472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075471$12ADA40C-EA9F-40D2-BC21-8B5165102BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075471$1A36FC29-56A4-4968-BEEF-64B35A39ADB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d421342230c67a224b42e44ea336b06445d9587a","datavalue":{"value":{"entity-type":"item","numeric-id":2845506,"id":"Q2845506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075471$E1330D34-C5DE-4DFC-8AC8-9DB7C0145540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075471$798B5845-0D60-4E53-BCB3-6398DA239E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075471$65965496-7282-4FD6-A0B0-647D96F9489B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007b3bdccae716a59e9fcd68043221be3f0adcfc","datavalue":{"value":{"entity-type":"item","numeric-id":3587259,"id":"Q3587259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075471$C04EEF38-ACA1-4833-9C15-08758A93E36A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cee1f5c4e596769f20c3e18240de0776d1bbf0f7","datavalue":{"value":{"entity-type":"item","numeric-id":4804900,"id":"Q4804900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075471$9F084E7F-F5DA-49B1-ACD7-0C8880F8C199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075471$252A5200-84D2-4E14-9CF4-48267EA03461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"437329fbe1874c3df0014b9270301ec7c179dd5d","datavalue":{"value":{"entity-type":"item","numeric-id":5900667,"id":"Q5900667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3075471$93356269-57F3-4738-A6E9-518802CD23DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97a1bf693cef9178aadd375963cd412c8809cc24","datavalue":{"value":{"entity-type":"item","numeric-id":3176368,"id":"Q3176368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00089df16acbcf8f45df750ca9aad2b6c881ac1e","datavalue":{"value":{"amount":"+0.92383695","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3075471$12D28C1A-4D13-404A-8C3C-2C4660BDC5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ee356ae861b9bbcfde7895c962ba1a94d08ccb2","datavalue":{"value":{"entity-type":"item","numeric-id":4804900,"id":"Q4804900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1fc7fb2dff5037a035d0652f5d8a9e0ec67c1b1","datavalue":{"value":{"amount":"+0.91744745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3075471$026AB6D5-C63E-4AD5-8F3F-26CE622F16A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acaba8635b567616f6fe2d0ca8b0c243a041a22b","datavalue":{"value":{"entity-type":"item","numeric-id":5506384,"id":"Q5506384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82ef0289ecbb4d62cbd4b754bc27f9b64823b042","datavalue":{"value":{"amount":"+0.8965371","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3075471$08C7E103-9A3A-48D6-B7D3-047DB9661C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7143ee151dba9462ec01595aed23567cde2f9b00","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ce0329156fd71948dc8118accffb2e401930a80","datavalue":{"value":{"amount":"+0.8957366","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3075471$5BC83644-1560-4F54-B4F2-E7CF9266DB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6163a7aa78d81cf3b8065a62f631a6a5857595d0","datavalue":{"value":{"entity-type":"item","numeric-id":2754108,"id":"Q2754108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83570fe9f795fbdcc1f4f5ce65945a72b61a137f","datavalue":{"value":{"amount":"+0.89297605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3075471$06903F45-A3FE-4D6D-98F7-841D704B44F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8c0a77f0232f67455c50d919d9a6fd0dceb2474","datavalue":{"value":{"entity-type":"item","numeric-id":5492979,"id":"Q5492979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f27872afc0ae1119d10fab345c870085d023698","datavalue":{"value":{"amount":"+0.88762844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3075471$7B639FF6-F305-47D8-A45A-ACC9ABFB4BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309d47001d388616676746d4877f00d336c2fb12","datavalue":{"value":{"entity-type":"item","numeric-id":947794,"id":"Q947794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4847dd2424e0b570f592473b74e9b38e42d20acb","datavalue":{"value":{"amount":"+0.88698256","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3075471$023B0FDF-D2FC-4F2E-A58F-2725CF907C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a523bc57602f5baeefda17c122f742e39fff24ac","datavalue":{"value":{"entity-type":"item","numeric-id":472802,"id":"Q472802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"882bfb59bc00b202a6c8297e6a60757b8513ff7f","datavalue":{"value":{"amount":"+0.8867052","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3075471$F0165FC5-2257-415B-AF7C-E4F57C5D3757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dec1845d5b805a33a9b6dc48ef7a1a69c506e41c","datavalue":{"value":{"entity-type":"item","numeric-id":2046017,"id":"Q2046017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2678247aee2fc496118b9fbfcfcc5da45ad26e7","datavalue":{"value":{"amount":"+0.8859601","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3075471$9602F213-E08D-4E79-A4FB-EDAE996C10B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21bddd3ca190a3b9e349e7d181a51e38d0570950","datavalue":{"value":{"entity-type":"item","numeric-id":2058379,"id":"Q2058379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47c38c9d4487734893cdbaa85504510a60214128","datavalue":{"value":{"amount":"+0.8859264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3075471$05A01A0B-E003-4BC9-871D-FD8EAB2B240E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3075471","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3075471"}}}}}