{"entities":{"Q4353634":{"pageid":6383233,"ns":120,"title":"Item:Q4353634","lastrevid":46940040,"modified":"2025-12-25T21:45:15Z","type":"item","id":"Q4353634","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1059327"}},"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":"Q4353634$7051007F-CB6C-41EA-B207-DCF9E2487694","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46a54c652c07a22dbed1ffe25a6ec1b856431af7","datavalue":{"value":"0882.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353634$06DC93B4-D1C0-4F15-8B08-6B0EC23CEFE9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab3eb29cbf9f23c5158deb930f0175a3e7b428f3","datavalue":{"value":{"entity-type":"item","numeric-id":229996,"id":"Q229996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4353634$1AB52422-566F-4308-823B-4BC21934BB52","rank":"normal"},{"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":"Q4353634$8066385B-F459-4812-B7E3-E822EA70ECFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb5b0fc95b875540ac51248d37b76d8d5d31061d","datavalue":{"value":{"time":"+1997-09-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":"Q4353634$6141DC88-D36E-4EFE-A120-B424C1E3D0D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353634$E346D0A1-6D23-47BE-9920-E79E61EA655E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353634$7F2A51AE-B9D7-433A-8C25-0632642FD904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353634$15A5636D-3C3C-401A-BC94-6083C8D31DBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353634$BD4409B9-F154-4A70-8963-AE1F6D48740F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28b3ff81fa8cad484b95822a49e1a284930cd8c5","datavalue":{"value":"1059327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353634$52A8BA78-D845-49A8-8730-168D9FF247A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353634$BB1D8BA9-7F9D-487B-B74C-9A99E61B9525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f82d9744537c8929843a9f698e900cd31ff81587","datavalue":{"value":"distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353634$CFB99C40-64FB-4EDB-AF59-DAF3650F276C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353634$05B9D4AC-A995-423A-9734-3E83AEBFD11C","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":"Q4353634$E6187A87-A619-4E91-B877-E376653369A8","rank":"normal"}],"P1643":[{"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":"7ba37715145b175741b35a8cfbbd1cebcce1f3ac","datavalue":{"value":{"amount":"+0.999998152256012","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":"Q4353634$F6AD7FCA-4BA2-4D93-906B-7581D4D8F941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dcfa39d761eeb07ec648b44b4d9fb89d5c86c8a","datavalue":{"value":{"entity-type":"item","numeric-id":4247293,"id":"Q4247293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"957220a8a5d3f9e9b14707f7c02f33f383f6557e","datavalue":{"value":{"amount":"+0.8775615692138672","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":"Q4353634$5E941AD4-5C71-44C6-A71E-6673E9AC6657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33e45e84af58c56f646c20ab46e110f7bce0bcdc","datavalue":{"value":{"entity-type":"item","numeric-id":2506491,"id":"Q2506491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdf4104d90b25296ef8f4fd4dac40ce3a2ed76a8","datavalue":{"value":{"amount":"+0.8712031841278076","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":"Q4353634$3DAFA3AD-5479-414A-8B77-52B96A0FA46E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f325677dee369930d0e64a4e41b51a183c6e0801","datavalue":{"value":{"entity-type":"item","numeric-id":4422788,"id":"Q4422788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0208fbfc3206972c65add9e924fef62399b97be7","datavalue":{"value":{"amount":"+0.8702099919319153","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":"Q4353634$0D4F5695-C672-48A9-8F5D-6D25445D0DDB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4353634","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4353634"}}}}}