{"entities":{"Q4501584":{"pageid":6531177,"ns":120,"title":"Item:Q4501584","lastrevid":47014788,"modified":"2025-12-26T01:28:25Z","type":"item","id":"Q4501584","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1500563"}},"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":"Q4501584$E0E9E794-1BF2-492C-8476-1AC3BA777C22","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"928e13be8f5ad5d71b7e923760e329b10f021ce8","datavalue":{"value":"0961.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501584$0CC36BB9-CD90-4F29-BBDD-5BB34BFFB30E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb95e647102d0ffe6984f49453210b0dbafa3f03","datavalue":{"value":{"entity-type":"item","numeric-id":507356,"id":"Q507356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4501584$3289163E-5FDA-43F2-A8A8-C5EE58B91670","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d399175a75045d6e68cdfc363866ce63dcafb225","datavalue":{"value":{"time":"+2001-06-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":"Q4501584$2F5BDBB9-D00A-4789-A344-365228902E18","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501584$771F5634-8AEE-47FC-B3B8-F3B012931D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501584$A076EC26-EC24-4F4C-9CB8-E2D81529173A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99356eea5e0c2dddde0b248ed242c73283768a5d","datavalue":{"value":"1500563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501584$02C6BC5B-855B-4808-9246-F5B11E5E8AA3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1fc1b95ef59246f606d504160f57ee48fb71d62","datavalue":{"value":"model-checking algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501584$ACB30D3D-B2D6-49EA-8397-9CAFD5761EB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7aa3fdbdf3b7584bcd007098b5e184978502a1cf","datavalue":{"value":"mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501584$632D67AF-F026-4A94-AFEC-C784268B93C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6a2b4ac73f4eab538c66c02ca140adc7c58d107","datavalue":{"value":"context-free processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501584$06558C28-1E4D-4ACA-A43E-6FF69809E1EF","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":"Q4501584$8E71E6CA-2F28-4D51-BE5C-7D54B9100D65","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1223bf56fcfae24476937a6afba92c507eeae72f","datavalue":{"value":{"entity-type":"item","numeric-id":4764629,"id":"Q4764629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b56edbdb100e769c7a47d8bd0a7ae35692f6c478","datavalue":{"value":{"amount":"+0.8454033732414246","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":"Q4501584$A3BF3A11-9D66-4B8A-8BB2-286F6575F61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33de92247cca4205a2cf29c212dff398bed52741","datavalue":{"value":{"entity-type":"item","numeric-id":4630295,"id":"Q4630295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67abe34f6dbbf7ace8af16f62e739f89959dd41d","datavalue":{"value":{"amount":"+0.8424546122550964","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":"Q4501584$57A5E93F-F0F0-4485-A9E7-765C55F148EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20d175e0292e02a95fb9e1c2b84c88f4da7d7c55","datavalue":{"value":{"entity-type":"item","numeric-id":3510785,"id":"Q3510785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a59a60b4e815f22c6c6c616a5384e66dfef4a1e","datavalue":{"value":{"amount":"+0.7972406148910522","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":"Q4501584$A0D69EE9-138E-44AC-8FC5-550BB7ADF1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ad24936036c0a44cf39cec794943b33c28c7276","datavalue":{"value":{"entity-type":"item","numeric-id":4571973,"id":"Q4571973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98bff6f6035b4738ffc8891f5a03618aac3b02a0","datavalue":{"value":{"amount":"+0.7918952703475952","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":"Q4501584$47B8C63D-68F2-4B40-B825-F3F96BFAEEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88e0fa948fbea4a7194203f8a523604ae27ab54e","datavalue":{"value":{"entity-type":"item","numeric-id":1960527,"id":"Q1960527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"419e539dda75773decf8ae1cba746faab6cf9e1e","datavalue":{"value":{"amount":"+0.7862328290939331","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":"Q4501584$03B1E11B-97C6-48DC-A12D-A245796EBD02","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4501584","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4501584"}}}}}