{"entities":{"Q3569044":{"pageid":5598948,"ns":120,"title":"Item:Q3569044","lastrevid":51015698,"modified":"2026-01-16T05:35:13Z","type":"item","id":"Q3569044","labels":{"en":{"language":"en","value":"Incremental model checking for decomposable structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5723030"}},"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":"Q3569044$DBF4B37A-E3DC-4258-A2C8-6EE70F11DF42","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14a21b3819693f9faa38418ced9ede7367405cc1","datavalue":{"value":{"text":"Incremental model checking for decomposable structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3569044$FE886C1F-1CBE-4140-B959-9DA3508E5F44","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0cf933a8e9337df905cdadfca028ad56c979af1c","datavalue":{"value":"1193.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569044$249F04A0-57CA-431D-85FE-DAADCD26C2A0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c0ab83a64c43a6ff91802d8b9c40c240f26f383","datavalue":{"value":"10.1007/3-540-60246-1_159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569044$31B8618E-87CE-45B8-9ECD-11BD48E0CACB","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":"Q3569044$86CF0470-C92A-4239-A8FB-3AC553A2FD18","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f3ce47aa4f0dc34b47bc79e3d35b38da1ee5e5f","datavalue":{"value":{"time":"+2010-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3569044$24D15BE4-66E8-4B5F-8EE0-B7B8A380257E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569044$7C02BFF7-9A87-4610-AA5E-FF656865430E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"429a4412a8657d02425b4fe82b96e3102e8bab5a","datavalue":{"value":"5723030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569044$FCAF3AB7-3CDA-4A64-A536-03698A78C27D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32ead6a624fee23dc1dc37cfe2dcec3766470899","datavalue":{"value":{"entity-type":"item","numeric-id":452475,"id":"Q452475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569044$23ADB7C6-D65C-44A2-BFFB-A2556CADF4BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d46d2e13b3c50bc814dcd7014708866f6a184b94","datavalue":{"value":{"entity-type":"item","numeric-id":740258,"id":"Q740258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569044$74E05976-A100-4B99-A165-F1B4D6477938","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":"Q3569044$533806DA-A0F1-438B-8DD5-109A66ACF9F7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e141ad63f3440f9409a83599be339e82f383b26","datavalue":{"value":"https://doi.org/10.1007/3-540-60246-1_159","type":"string"},"datatype":"url"},"type":"statement","id":"Q3569044$3096752C-8B94-415F-9400-B31741F41A51","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d7ae6b04d1dabf8fcd9e6aeb0cde577a6668e38","datavalue":{"value":"W1583334139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569044$531351B0-05BB-44BD-A919-A4930F01B3FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7094a3c988c734ca21ea53bc6ec6f202282d2855","datavalue":{"value":{"entity-type":"item","numeric-id":3204034,"id":"Q3204034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08aa9a34410d98a502c4a4ea17756f7ed4558707","datavalue":{"value":{"amount":"+0.7795723080635071","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":"Q3569044$55A79747-B02C-418D-AA07-416A1380F57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfb0e469db8af7a009a867a359818028b3fb0366","datavalue":{"value":{"entity-type":"item","numeric-id":3402273,"id":"Q3402273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39df564d54281fbd1cd35678844efdbdaa2d58ba","datavalue":{"value":{"amount":"+0.7770550847053528","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":"Q3569044$A146A1DB-8C6E-4B26-9752-8ED748B43EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebfb906a9656037721472a56ba99dbe61d2c330","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32695452965670da5e89bd2480eb12c10e13bf93","datavalue":{"value":{"amount":"+0.7710238695144653","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":"Q3569044$4FD8B9F4-7606-4A2A-9F6F-A7BAD3D3423B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6effe004b11319500cf470d640839e2d3ae7e058","datavalue":{"value":{"entity-type":"item","numeric-id":438572,"id":"Q438572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32695452965670da5e89bd2480eb12c10e13bf93","datavalue":{"value":{"amount":"+0.7710238695144653","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":"Q3569044$73C521AB-2727-4397-AD38-68EEB0B4E959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"554fe6a5642f31b3623c9474257501fc97ed5f92","datavalue":{"value":{"entity-type":"item","numeric-id":2151274,"id":"Q2151274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad58aad2416d07284768605330521c7c6311cf3b","datavalue":{"value":{"amount":"+0.7698888778686523","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":"Q3569044$C030F8FF-6A3E-486E-838D-9AD371D274D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3569044","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3569044"}}}}}