{"entities":{"Q4037127":{"pageid":6066845,"ns":120,"title":"Item:Q4037127","lastrevid":55247536,"modified":"2026-02-05T07:13:46Z","type":"item","id":"Q4037127","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 177267"}},"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":"Q4037127$8E46444F-1517-4740-98CE-19DA22F1F9FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e77207b3a514be0fcbc97fd3a1e84fa675c815cc","datavalue":{"value":"0773.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037127$FB0B40B8-26AD-42ED-B9C0-CDF62A160F18","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e79ee1db7326267f551462b9638f98d9a7c0842f","datavalue":{"value":{"entity-type":"item","numeric-id":1199533,"id":"Q1199533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037127$1D6AF5F6-0AA4-4DA3-9F98-EB8DD6C14B27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"40f69046686ca08deb3c80248bb51f9f0153a830","datavalue":{"value":{"entity-type":"item","numeric-id":1199534,"id":"Q1199534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037127$F982B0E2-4733-4E11-989C-8E74E74A2F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e3df8f5dea429132d015a7ccd360676e3aa3b3d","datavalue":{"value":{"entity-type":"item","numeric-id":673236,"id":"Q673236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037127$462BB7D5-F46C-4D8C-ABE3-D41F8CEA0B58","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4037127$7C52268C-71F2-48A1-AF78-F1FA2A2E7B00","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037127$E2C89396-A5D4-4015-86B1-3F40784586F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037127$7DB7F09E-9DF2-40FA-98A1-019880121A42","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5a47b8ce88412d1f5314f095f72bf8ba92b87e8","datavalue":{"value":"177267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037127$E8B9B68E-CB81-49BF-9AE6-BAE3B136D50C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22faee7a58a8049518b23c537e4b85ea66f3563a","datavalue":{"value":"branching time logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037127$FC6D0740-3B9F-454A-A66C-92BD99E0A14C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db2c4226e8e86e1e1f02cc5ead167f218ce71434","datavalue":{"value":"Kripke structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037127$B1034B7B-141C-4BFF-9DC8-419FF8FEACB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f44925fdad477a2d159daf222e5698740ca6ce70","datavalue":{"value":"substitutions to Boolean variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037127$542E53AF-2B0D-424E-873C-A0405F03CE66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abd0411d427469d3c4f97dcae40ba5f9dfac19fa","datavalue":{"value":"references to the Boolean variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037127$291D634F-4667-4D69-B8F5-B8E3D21204EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3542963eb421bb6af1e8ecde3c4376be009ba28","datavalue":{"value":"model checking algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037127$7F820DD4-9DB2-4EE2-AAF3-520F43416B2E","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":"Q4037127$188AAFB2-42EE-490E-8FDD-CD700F4CB834","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aab2639d120a41e9afde30746a5386c4f8af2b45","datavalue":{"value":{"entity-type":"item","numeric-id":4037390,"id":"Q4037390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a42fa45ca2973f364462e4f72230b60c6db5479c","datavalue":{"value":{"amount":"+0.9966245889663696","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":"Q4037127$50411C3A-3742-4A46-88BD-3D2B1815F58C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a692f977b2b5a6577b9e26d31d979c09bb8c82","datavalue":{"value":{"entity-type":"item","numeric-id":5311048,"id":"Q5311048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a42fa45ca2973f364462e4f72230b60c6db5479c","datavalue":{"value":{"amount":"+0.9966245889663696","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":"Q4037127$33F60D4E-598E-4964-825A-D5C80A5A8802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f52c44e8a04282dc67511f397f76b3fe393a66f","datavalue":{"value":{"entity-type":"item","numeric-id":4536399,"id":"Q4536399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c7bfa2400af33c5a9d6b6e521233c2a6f00d86a","datavalue":{"value":{"amount":"+0.8285466432571411","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":"Q4037127$C1CDA068-2003-46D8-A8FF-899AA6D7C646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b01c80268aee810072055b12089515babfd57c7","datavalue":{"value":{"entity-type":"item","numeric-id":4733384,"id":"Q4733384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"927e492f5ee83836143da093338bdee31f8041d4","datavalue":{"value":{"amount":"+0.8282752633094788","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":"Q4037127$DD37FEF6-E7EF-4FA6-AE91-EF5522984686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"791ff92a215bb66d971a2775ffed0ebf24a772f4","datavalue":{"value":{"entity-type":"item","numeric-id":1917081,"id":"Q1917081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d0e75176a17cd9837487b5a0bf8d0b87f1e3f9e","datavalue":{"value":{"amount":"+0.8204009532928467","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":"Q4037127$34DA6D34-A6FC-4999-9350-A29E590091CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4037127","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4037127"}}}}}