{"entities":{"Q4508313":{"pageid":6537906,"ns":120,"title":"Item:Q4508313","lastrevid":47510380,"modified":"2026-01-01T22:50:31Z","type":"item","id":"Q4508313","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1512628"}},"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":"Q4508313$C810124D-9781-4E03-8170-04BFFEB6F1D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d70fd983074bd18ef4e0e599b5e13792a97801ee","datavalue":{"value":"0961.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508313$629C1403-64C3-4356-80A9-C515F654DBF3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6b20f6ece5fa5cc40707815445e71b70bca478f","datavalue":{"value":{"entity-type":"item","numeric-id":671673,"id":"Q671673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508313$383B8934-23F1-4C47-9883-E71812F9B24B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a831e2ddd3ec081d65f9d9ba86075a05ae19362","datavalue":{"value":{"time":"+2000-10-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4508313$0C32F0F4-62D6-431C-9E6E-15B5C4B83D4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508313$FD350CDB-49B7-4EFD-91BA-72481C3826B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508313$1A10DC4D-093D-4F48-9960-C7176C49E108","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c85fffbd2b8c689cc0fdd25195915332460fe112","datavalue":{"value":"1512628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508313$3EBDBA6B-F4EE-4C5C-A7B5-9F9F839DBD79","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05fd092800bec3fa8730c935ce512fb9c262df09","datavalue":{"value":"compositional verification of a concurrent system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508313$05827CF7-C767-4725-9013-62FB8A779915","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":"Q4508313$F06DAE8B-2BDF-4837-B9CC-706411E7E279","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33f049ec084a6525b47eb3a7fe93a96dc3335d24","datavalue":{"value":{"entity-type":"item","numeric-id":671674,"id":"Q671674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71cfc4a59519185cae1206f9cdd4e4f259793d60","datavalue":{"value":{"amount":"+0.8206813931465149","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":"Q4508313$D490B3D5-78A1-4A04-8FA4-AC606E8A0AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2ff7e2a38279de5c76356ab6d044a090560ee58","datavalue":{"value":{"entity-type":"item","numeric-id":5096736,"id":"Q5096736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42aac577a754be12e44c0f7ca817372d6e8bc864","datavalue":{"value":{"amount":"+0.8164042830467224","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":"Q4508313$8E8F7A28-B9D1-455C-B6B0-2EBAF4074573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afca3b29330b440d76c08f8e08f6d4bc4e8c7e2c","datavalue":{"value":{"entity-type":"item","numeric-id":674008,"id":"Q674008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bcc261de68561e223cff7d5d350326fa85a1d53","datavalue":{"value":{"amount":"+0.7859583497047424","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":"Q4508313$778E84F9-3CBB-487F-B607-806B6DBB58BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7094a3c988c734ca21ea53bc6ec6f202282d2855","datavalue":{"value":{"entity-type":"item","numeric-id":3204034,"id":"Q3204034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91c6985dd1a547082905c9d6135776db059a29b2","datavalue":{"value":{"amount":"+0.782511830329895","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":"Q4508313$5DA38620-696A-42C5-81E6-8886B511CA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d63dbd4b815d1985d091a8bc4016d2f77152968","datavalue":{"value":{"entity-type":"item","numeric-id":5712362,"id":"Q5712362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8fd7d77de5bbd2f498762a550be02d3b78d147b","datavalue":{"value":{"amount":"+0.7624784111976624","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":"Q4508313$2BA643A8-A36C-47EC-8B9E-EBD6201B8FEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4508313","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4508313"}}}}}