{"entities":{"Q3600481":{"pageid":5630387,"ns":120,"title":"Item:Q3600481","lastrevid":49654147,"modified":"2026-01-08T17:53:09Z","type":"item","id":"Q3600481","labels":{"en":{"language":"en","value":"An Automata-Theoretic Dynamic Completeness Criterion for Bounded Model-Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5505794"}},"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":"Q3600481$96590A7F-0BAD-4E39-90C1-134160CFD32E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"615b7e4b26ccce413165926d68344f42a877b6ae","datavalue":{"value":{"text":"An Automata-Theoretic Dynamic Completeness Criterion for Bounded Model-Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3600481$9FC6F2B0-E611-4417-A4D3-58CF01881D47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6eabaf9ff6ecfafcdb9c264040159cf306561fd","datavalue":{"value":"1206.68190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600481$FD6CB1A2-96E8-4A02-BE1B-0983CACEAFB9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a19a254a3513cf60f49c3f4cbad9d1eac4b13c7","datavalue":{"value":"10.1007/978-3-540-93900-9_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600481$AFCD0D1A-32D3-4122-A5A9-3848BCD090AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f0c0a62bbefd5f9c9dd39740c280110c09131ff","datavalue":{"value":{"entity-type":"item","numeric-id":693763,"id":"Q693763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600481$D5BB8F0B-F245-4924-8BA6-33823568BAB3","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":"Q3600481$16F4D58B-56DC-48DC-92DD-295F188217FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"862f3ea8dd1696c9694e62e0070fb4814c61ef07","datavalue":{"value":{"time":"+2009-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3600481$8727543D-D1F5-4A71-8548-9B8DBDCBD876","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600481$0E9F7921-5EAA-4E49-81F0-F9472866E650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600481$D6E1FA39-291B-4027-8F68-33C0B06D1F9D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b79d4d0c3cf2c0f3692e536b44ee149684a562e8","datavalue":{"value":"5505794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600481$2DB9DFB2-1CD8-4962-976D-848DE3704E4C","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":"Q3600481$2207E54B-EFA6-4E12-878D-BC87C810DC7A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"51329cdabcf1a82b338e445237b1d891891bc66a","datavalue":{"value":"https://doi.org/10.1007/978-3-540-93900-9_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q3600481$EE2F5500-4BC6-414B-BDA6-86A970A5EBE7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"85dd9b3a8513cdb375dea4844ac959cc4be52677","datavalue":{"value":"W1896342373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600481$844AE477-E9EF-476F-A2D8-C4D43848D637","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b3fb68e231adbb74c2f5cf9faec77fee02e163c","datavalue":{"value":{"entity-type":"item","numeric-id":5901905,"id":"Q5901905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94d0b00289f5069451c9c03fb25d932cf7588df0","datavalue":{"value":{"amount":"+0.921641","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":"Q3600481$8C29F74F-F29B-40C6-B9B3-814E47312BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81db03108f55b5c2a95843c21b27b90796aad272","datavalue":{"value":{"entity-type":"item","numeric-id":2986792,"id":"Q2986792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f28d2d6759a463ca3006d362c09d6d25de7e114","datavalue":{"value":{"amount":"+0.91513705","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":"Q3600481$02A58334-359F-4216-A5C8-C3B8DACB9D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06ac69d629aa81216cf233f144064c6822f02715","datavalue":{"value":{"entity-type":"item","numeric-id":2842869,"id":"Q2842869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e820f7ef705b4c27ddf29731f882131e480ed1a","datavalue":{"value":{"amount":"+0.8993522","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":"Q3600481$7192F266-1194-4969-ADED-D30E30FB2FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fedad35241e8495bb7aa570aa3d36d5af21943a","datavalue":{"value":{"entity-type":"item","numeric-id":3088266,"id":"Q3088266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb5758b2c417bd0721a22969a62ba45845a5a1c9","datavalue":{"value":{"amount":"+0.8982745","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":"Q3600481$0F323EAA-9364-4CE7-B9AF-1BAFBC052190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"267294f3a31c7f73989019c7714b67c38263913d","datavalue":{"value":{"entity-type":"item","numeric-id":2797866,"id":"Q2797866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07e2f385ebaf557f90e3b4c7c17291b719709bb2","datavalue":{"value":{"amount":"+0.894544","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":"Q3600481$D225729D-D616-4A3B-91BC-8DB6A46A6EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c9d5fe17ec6a5506543531b83a7f2aa7be5cd7b","datavalue":{"value":{"entity-type":"item","numeric-id":2889614,"id":"Q2889614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89c9e9095cc6e889b0eac8f51a3d0cd817eb4722","datavalue":{"value":{"amount":"+0.8943181","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":"Q3600481$673C6FA0-400A-403D-8710-82E221A84E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af991a839224cc6fc3adeed38d6e7c357c309dd3","datavalue":{"value":{"entity-type":"item","numeric-id":5452603,"id":"Q5452603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5595d234039ddb8097c5ed0b17f7dc51f478b8e","datavalue":{"value":{"amount":"+0.8942685","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":"Q3600481$39D7B3DB-859A-4824-9032-515115705889","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a72b649352f6e2168915b6d42625877af476c25","datavalue":{"value":{"entity-type":"item","numeric-id":5756750,"id":"Q5756750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4657bb35682e0fb7d7354047159cf65615046c5","datavalue":{"value":{"amount":"+0.88749164","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":"Q3600481$FA9A838B-5DDF-46C0-AACA-200E7408B474","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3600481","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3600481"}}}}}