{"entities":{"Q4037382":{"pageid":6067100,"ns":120,"title":"Item:Q4037382","lastrevid":55250065,"modified":"2026-02-05T07:58:35Z","type":"item","id":"Q4037382","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 177513"}},"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":"Q4037382$3EB14F4B-9A7B-411D-90B0-780770BFCE86","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9af764fa0fc96ec49e548e5373d6f48e1dcaa8f4","datavalue":{"value":"0765.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037382$543477F6-89F1-4D4C-9C53-19CD9A89B77D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"027a8d6ba912dce3a5dee63eade531c0ba4f4a36","datavalue":{"value":{"entity-type":"item","numeric-id":1327382,"id":"Q1327382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4037382$847D6B24-C492-4B38-BE45-7BE1E2583B9F","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":"Q4037382$0EF07F16-2FAE-4E7F-A769-64711F946DE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037382$9E509B98-52D9-48E4-A30D-E6AB45A7B8AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b788a7894959ac7cbbc9b843f0fca3d96b2f0207","datavalue":{"value":"177513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4037382$44D67C78-CFCD-4F80-B05B-947A106024F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8f05b54ae6f00faafec6d21156676f0d377ede3","datavalue":{"value":"trace automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037382$5A8B4500-7A10-49A5-9F79-3FC17AFB2A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65d1462dd4e5457b6c9c003139853867d7a4b3c7","datavalue":{"value":"verification method for concurrent finite-state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037382$02203DE6-83AD-48A5-BC52-AEC927C4EDFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0c85cf6d001d5c77f4d92083012ac658bc585c9","datavalue":{"value":"Mazurkiewicz's traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4037382$DC661F62-2976-4695-8ECC-48BA23EE62BC","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":"Q4037382$7328379C-1A1C-4B9B-AAEE-E1275C77FF7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d41f89afb4ef85cf38e5a0f13236881b477136d","datavalue":{"value":{"entity-type":"item","numeric-id":4037108,"id":"Q4037108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1ec2618684ac7cd178984d925953f2c5b00c8d3","datavalue":{"value":{"amount":"+0.9511844","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":"Q4037382$9EC931B3-BF2D-4CDC-B679-EB759EB088D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abc9c512a59e592aed1988185845fae8a35155d4","datavalue":{"value":{"entity-type":"item","numeric-id":4337610,"id":"Q4337610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e34b0a96d2c44eaa5e35c92b616d4e2a26e853d3","datavalue":{"value":{"amount":"+0.88130695","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":"Q4037382$36D7557A-C2A1-4B73-9246-4706B1B187F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41b0d5db590ea969e7aa01848f74c705bbeb162d","datavalue":{"value":{"entity-type":"item","numeric-id":4353640,"id":"Q4353640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81a0c8b63b0494b4f4fa56bc8b3b43ec8903b7d6","datavalue":{"value":{"amount":"+0.86832225","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":"Q4037382$894A039A-19E3-4CF6-8107-E81D74CA5C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a222bf16251a8af35aa3c32835e189c02324c310","datavalue":{"value":{"entity-type":"item","numeric-id":1961915,"id":"Q1961915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd891a0cf54081ed56f04e84c4c24fc647132e8c","datavalue":{"value":{"amount":"+0.86508846","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":"Q4037382$18178784-EFD7-4EB7-BFF5-4FFD890EC7A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d9bfd1fefc631074c4b6d6d12b126c9ba192942","datavalue":{"value":{"entity-type":"item","numeric-id":1801499,"id":"Q1801499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1a5c16eec1504b9c9eb72f7b9b025e6386e2d4f","datavalue":{"value":{"amount":"+0.8530331","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":"Q4037382$C50F9BCB-E90B-43F2-B975-5883755E069F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10bf39d3a4c20a3eddb443195153bd56cfdf1033","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3dcc86ea3cc35be04a13a8e7ac3ca130c4d1871","datavalue":{"value":{"amount":"+0.8529644","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":"Q4037382$F8DC292E-86D4-4D9C-BFB1-7BE0D42D2EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae53dbaac8b09008dc2ac495bcfc432b4913a2b9","datavalue":{"value":{"entity-type":"item","numeric-id":4400884,"id":"Q4400884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44fd478aaacfd3331b88c027549fc9ad118c717f","datavalue":{"value":{"amount":"+0.8510209","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":"Q4037382$A147E7AB-2D21-4418-ACE8-006939A98F4B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4037382","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4037382"}}}}}