{"entities":{"Q2281650":{"pageid":2292393,"ns":120,"title":"Item:Q2281650","lastrevid":53626097,"modified":"2026-01-25T11:12:23Z","type":"item","id":"Q2281650","labels":{"en":{"language":"en","value":"Dealing with incompleteness in automata-based model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7147580"}},"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":"Q2281650$D422B8E5-B01F-442F-983C-A9DB5CC4FB17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7ef62be4b5634400057cb21ead9be4c205e0105","datavalue":{"value":{"text":"Dealing with incompleteness in automata-based model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2281650$66AAD236-B6B6-453A-9C6B-B708A7732330","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77bde77f6fbf214420ac9c9ce42b7c73f6ca18c8","datavalue":{"value":"1427.68170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281650$A025AC6F-454C-450F-AC20-10CBBDCE85DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"34e3d2f3168b6aa25d490d39263d9c3c343f18dd","datavalue":{"value":"10.1007/978-3-319-48989-6_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281650$5DC8FC4A-D61B-4C1B-AB41-B9FEA4D5FF69","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e065b35cd5058b161b7b4e1eeb5773fdf319ee2","datavalue":{"value":{"entity-type":"item","numeric-id":2024358,"id":"Q2024358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2281650$F89B2E1B-C065-4B39-A906-D1B6D89F88A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"36f9775a15afc69e2b2803668d54a5345207093d","datavalue":{"value":{"entity-type":"item","numeric-id":2065547,"id":"Q2065547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2281650$F4310FF6-42B5-4817-BB62-12EED90A6BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e3a9b74a10d39b566f4aa7cca14078ecb000f6f","datavalue":{"value":{"entity-type":"item","numeric-id":438995,"id":"Q438995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2281650$A814AC52-C4CD-493C-8CC6-3BD12D70CCE2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f19ec05f4cc07189117a4725b428f63f5643b194","datavalue":{"value":{"time":"+2020-01-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2281650$133FE551-8CA3-4600-B8CF-9F60A48B00B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281650$8E8C13E9-B5AC-4084-BF23-2069DB0F7C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281650$A4450F8D-3206-4AFC-801C-42968DC69C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281650$40EE8F32-7D26-4BE1-BE9C-C496D8487F3F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8942ef5bc6da36dbf34b4539d8a488798b0b5298","datavalue":{"value":"7147580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281650$B4CF794F-3DCD-4C19-B91D-92BC49E54AA6","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":"Q2281650$92240170-1FDF-4E1E-8CDD-3647EECF8ACB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8193a934ac2ea71efa2c0e5bce8f00da4ebb4ce6","datavalue":{"value":"https://doi.org/10.1007/978-3-319-48989-6_32","type":"string"},"datatype":"url"},"type":"statement","id":"Q2281650$A36FA4C3-78B5-4DE3-802E-1C84CBECF85C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"79d3b9b4686c70e844546ed80f27972774e976a5","datavalue":{"value":"W2551192623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2281650$E028E28F-44B0-4E06-BF90-AD751B7C1B85","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"190233e20cb25d8f3400a4a2388d08bb56869ee6","datavalue":{"value":{"entity-type":"item","numeric-id":5492987,"id":"Q5492987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4e02bdef29e8752f33f27d42ac0c3c44f7811c4","datavalue":{"value":{"amount":"+0.7670779228210449","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":"Q2281650$068DD073-9540-4ECF-8E40-FC5EBCD529D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7539dd5b2b7c7642582e9b0bf88db299c8af4bb","datavalue":{"value":{"entity-type":"item","numeric-id":4494396,"id":"Q4494396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fb6ebc38e2f7ae321d9a5bd3c2e72f19668fcc7","datavalue":{"value":{"amount":"+0.7483530044555664","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":"Q2281650$0E6B6C23-079E-4423-82DC-2134BC065A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20e8c7d859063b7ff5f0146e0691c82aa8b6464c","datavalue":{"value":{"entity-type":"item","numeric-id":4917056,"id":"Q4917056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fb6ebc38e2f7ae321d9a5bd3c2e72f19668fcc7","datavalue":{"value":{"amount":"+0.7483530044555664","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":"Q2281650$2D9377A0-C4E1-44F4-A6C6-D31C44CA7A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe754d483eb7fbf9c412f3bff6d683833997b041","datavalue":{"value":{"entity-type":"item","numeric-id":2767990,"id":"Q2767990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52c2c754c41c0d61bd167ddc70541e50b50d25d6","datavalue":{"value":{"amount":"+0.7430611252784729","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":"Q2281650$47A0E71C-ED5A-4625-A989-1C7033DFC8C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04d3f140e56d093502c355c663252673480b2e81","datavalue":{"value":{"entity-type":"item","numeric-id":2733893,"id":"Q2733893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d928a37c108249838f89d47961e723f5763c1a1c","datavalue":{"value":{"amount":"+0.7430610656738281","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":"Q2281650$AF40881D-1E74-47EF-9362-D682B7A044D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2281650","badges":[]}}}}}