{"entities":{"Q4501577":{"pageid":6531170,"ns":120,"title":"Item:Q4501577","lastrevid":47014773,"modified":"2025-12-26T01:28:25Z","type":"item","id":"Q4501577","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1500558"}},"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":"Q4501577$D6644067-5450-47C8-87E4-1A8DC37B3781","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"250549e3fe13d660dba31c890c72e383ea513228","datavalue":{"value":"0954.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501577$47F4CC15-A786-4266-A858-A3DC4E21EEB3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e5d54a74a3fd77e250de57f312c896fc76cb853","datavalue":{"value":{"entity-type":"item","numeric-id":2842631,"id":"Q2842631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4501577$1A5CFA41-5F51-4051-AD4C-D42E2586F0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca70b50666cd4b37b70c35978cbe57cd070a9ee9","datavalue":{"value":{"entity-type":"item","numeric-id":528194,"id":"Q528194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4501577$89540592-F0B0-41DE-93EC-7C0081408B8E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ecffbcc861d67047b31e273d774ed7bc043622f","datavalue":{"value":{"time":"+2000-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4501577$936B1BC8-A5C6-4DA3-95CD-54139FF68EE3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501577$B06AEBE7-5811-4211-B4E8-153070CD86AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501577$80A49479-D257-4A89-8ABA-25169E290A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501577$67F11D7F-EA05-4641-8D0B-C3EA67FE4733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501577$B9B1CDE4-8577-4F0E-AE15-ACAE8A597931","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc99c59b09a452cb3de957b03c6475ff1002f25a","datavalue":{"value":"1500558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501577$352C79D3-A9EB-49BF-937F-36E1D90958CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a13b3cfd05a7091f5220a7f145a8a2ba2315d79","datavalue":{"value":"duration calculus with iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501577$3D1803F4-9483-42BE-AA2E-6B199D1D88B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501577$EA9F86EA-5D3D-4D51-8D6C-1DE7F9B9C292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b03439e7dedf0c27568d228c7244768e0713fd5","datavalue":{"value":"hybrid systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501577$CB862367-6433-4D5B-8E94-794DF6F6CCF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501577$695C0A8C-D8C7-4838-BF82-5C7A625EE5A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501577$1DF946A1-6D28-49F0-AF97-6636D2F86656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501577$B43D8B4B-0BEF-4193-B7AA-32E3F099BD45","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":"Q4501577$49F40786-831C-46CB-9318-37D30193E95D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5f9927f0421bf529efcf533a43d93a69d61eedc","datavalue":{"value":{"entity-type":"item","numeric-id":557828,"id":"Q557828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"268c5d589e45be38af08ede4eed232ed3b9974dd","datavalue":{"value":{"amount":"+0.8848819732666016","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":"Q4501577$7D34138B-9CB4-4FBF-912F-50EE8223330B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fcb1599131076bfedba58f7d7e635d32940532e","datavalue":{"value":{"entity-type":"item","numeric-id":4281508,"id":"Q4281508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4e2d0a5d25a9a299039259af137e7b7dd10a903","datavalue":{"value":{"amount":"+0.8310437798500061","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":"Q4501577$509981F8-7833-4CF5-AEB4-4779F0F0E99D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"555e6c4456c1c632c8d9a855e6f9bf6f5e161fc6","datavalue":{"value":{"entity-type":"item","numeric-id":2737553,"id":"Q2737553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42f4a49378ccc2853ce10d923c90f7a8f3049f7a","datavalue":{"value":{"amount":"+0.8186177015304565","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":"Q4501577$1E2DD272-AF97-4640-AB98-511E6D6A8D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21b64637e8d54ee4abfa143c734d453fc4111b14","datavalue":{"value":{"entity-type":"item","numeric-id":4412851,"id":"Q4412851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3095454e15bf1645bad4ee61781848f46e6447ea","datavalue":{"value":{"amount":"+0.7944520711898804","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":"Q4501577$B27C87B2-5BAF-4D39-A4CA-E865B6797B1E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4501577","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4501577"}}}}}