{"entities":{"Q4247293":{"pageid":6276894,"ns":120,"title":"Item:Q4247293","lastrevid":41786765,"modified":"2025-05-08T08:05:20Z","type":"item","id":"Q4247293","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1302050"}},"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":"Q4247293$5F9C3F76-0356-482C-9927-C13042D80B8F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20c421b54416a3da8366964687335f304656da4a","datavalue":{"value":"0934.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247293$DA451B41-53AB-420C-8762-74EB52288139","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8392ad3e919ceda3cd16f19f1268cacb9704ba7b","datavalue":{"value":{"entity-type":"item","numeric-id":229998,"id":"Q229998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247293$FEBCB400-A22A-4D6F-8105-B6D5BDFCE0B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe8d5d010225bc2d5b1fd2cc1c54e8ed2764d9db","datavalue":{"value":{"entity-type":"item","numeric-id":1295430,"id":"Q1295430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247293$C2553A40-B911-4E5A-B7DD-C8645803BF68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a66464017b31b9d8b8b905d3c7463defb00ed3f","datavalue":{"value":{"time":"+2000-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4247293$40BA2775-EC35-4FC5-BB67-5A7354C47E7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247293$107D1951-F258-4200-9F5D-4BA07283D446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247293$B1D35878-4DAF-409E-A05A-2F66307E2BC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247293$315306CE-AC72-4CDC-9C2C-DA1EDF2E6FED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247293$E3641FB6-4D5D-48C3-8D29-5E6C4A765C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247293$9C97D62C-3371-494E-A370-77524C158FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247293$49B45BA7-8405-4A66-BDF4-033B6B8AEDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247293$9A758AD9-AC84-4A6F-99CE-0BA439678CF5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2ef613d4f0245602983d8fa41a7c7f6aa4cea0e","datavalue":{"value":"1302050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247293$F509CB36-AFDF-4C3A-8353-CBBBF70F5DB2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b00c383418dcc7f93ccd72284943d81460b3f068","datavalue":{"value":"linear time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247293$0249DA32-BA8D-46C1-A232-A4CC8F926B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247293$B5B8DF77-1CED-4E8B-8185-8A2797674F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e28125a574675d357015f24f34c39fd048ab013","datavalue":{"value":"Mazurkiewicz trace","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247293$C7D0DF4D-0369-45C7-A754-1D808F52A6C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9b92a177ec2827a3722fa9e707264cc1e0271b4","datavalue":{"value":"automata over infinite objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247293$D815C489-D6A4-4CB8-9F75-A12C318AA510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247293$930ABA6E-0CDC-4B11-98BC-85B88D6F5DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247293$33B69472-0862-4354-B460-6DFAD873852F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"163b401a228a76dccb6ee6d1a16fb25f69a9f0f0","datavalue":{"value":"product languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247293$95931F2E-1404-4B34-B079-B837CAA73D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f621ef2aa838b197843f106eb2e8e85cbe681488","datavalue":{"value":"product automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247293$0D506652-1936-4D7F-8451-7F27FDCC60DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6921e17097fef28f1a3f1758e2e4a0cb6a5e9719","datavalue":{"value":"network of sequential agents","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247293$FB5C9A31-9166-438E-918C-5E8D1D8F5540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a872fa636e70643c133c6966d147abf98291a8","datavalue":{"value":"trace languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247293$AB23FE73-1D7E-46EE-95AB-059AB31291DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e2b1f819495409ffc29c1f8db528862dca4c16e","datavalue":{"value":"asynchronous automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247293$578972AC-7935-478F-B5EF-48475A4D452C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96f4c8fc4b81b66fa02482f21dc00f8b10f34a47","datavalue":{"value":"trace-based logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247293$AEB2B4C6-7AF5-45D5-8747-452D819A27CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247293$E4EA3909-A30B-4B67-9872-D60945E73D82","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":"Q4247293$B8F9DB5D-92D7-4ABE-93D7-95D6A9E30885","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbe26b08379d103fcf1f3fde0ef880390778b35c","datavalue":{"value":{"entity-type":"item","numeric-id":1784965,"id":"Q1784965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e899378b5c9684f240abb1c968155c60b80d524","datavalue":{"value":{"amount":"+0.90733707","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":"Q4247293$EB8D4B59-90BA-46D5-96A0-3EFFFDA90F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9da5b4ac30079ec985bc118bba22bf4a6cbb2161","datavalue":{"value":{"entity-type":"item","numeric-id":4702960,"id":"Q4702960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6c5ce10fb5e66b33cd3008ed9e5a1805fb47407","datavalue":{"value":{"amount":"+0.90424764","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":"Q4247293$5B9F6924-8B67-43C0-BFEF-342C5EDE1A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"944fc8c3b62cac8772c7a4212c97115008d31378","datavalue":{"value":{"entity-type":"item","numeric-id":3523226,"id":"Q3523226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21092c48773f5c95025aa0fa7e432f0dbded3a51","datavalue":{"value":{"amount":"+0.90362346","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":"Q4247293$A622A88D-4A20-4B46-8788-9CF19407CE65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96960112e498526eaaa39fc571da46f77d2fb146","datavalue":{"value":{"entity-type":"item","numeric-id":4737220,"id":"Q4737220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8a8391b1a9cb0859263dfe0ab7f7aedbcc838d8","datavalue":{"value":{"amount":"+0.899539","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":"Q4247293$1C9B2E5C-5898-475E-BA33-442EEE1331E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ac2f61e678db8fb8e5c55458fc9198116620a74","datavalue":{"value":{"entity-type":"item","numeric-id":3656773,"id":"Q3656773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c14da309648ef46d6344b787db9331735660cd8","datavalue":{"value":{"amount":"+0.8902529","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":"Q4247293$C60F8E77-A284-4AB7-83A4-1AC7F3E3131A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"522ff705170fac64ed4e0f9145fe5523616a2f57","datavalue":{"value":{"entity-type":"item","numeric-id":5491896,"id":"Q5491896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d59a471c60bf7f11d76a1c999a52b5e67a92a58c","datavalue":{"value":{"amount":"+0.8879","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":"Q4247293$DB3B5CBD-0F3D-4438-8D55-BBC0C93B04B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbb1142d2124ba7f380266151b0a0a31c186624d","datavalue":{"value":{"entity-type":"item","numeric-id":6166689,"id":"Q6166689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1005afb623efc92b0fe46c7a12cd822ee3a771e4","datavalue":{"value":{"amount":"+0.88621354","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":"Q4247293$71CE66FB-2C84-4FCC-812E-9ABE58CAC467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bae2d430b50848b184b7d8c7b0966fbbd54a494","datavalue":{"value":{"entity-type":"item","numeric-id":4353634,"id":"Q4353634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53a41e9f7d6b7225eb5cf3eac6e1d058a1c3c09f","datavalue":{"value":{"amount":"+0.88328415","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":"Q4247293$9635BDD9-F1F0-44DD-A6BA-1A82311BAA98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49cb831dd1a8963d71b4d4bebc926274e5c21127","datavalue":{"value":{"entity-type":"item","numeric-id":4375802,"id":"Q4375802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53a41e9f7d6b7225eb5cf3eac6e1d058a1c3c09f","datavalue":{"value":{"amount":"+0.88328415","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":"Q4247293$4BA9E59B-359E-4AD4-BE55-B19AD0A29DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4ce4b3d63fd0d43ead3834e5f12d0c5f419cda3","datavalue":{"value":{"entity-type":"item","numeric-id":5224785,"id":"Q5224785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"003d80a6ed1aa9d1bd6f3eb18867a068a2ce1976","datavalue":{"value":{"amount":"+0.88230455","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":"Q4247293$E822AE66-8916-464B-A993-5A98566DEC0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4247293","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4247293"}}}}}