{"entities":{"Q5302891":{"pageid":7332465,"ns":120,"title":"Item:Q5302891","lastrevid":50539199,"modified":"2026-01-14T08:21:36Z","type":"item","id":"Q5302891","labels":{"en":{"language":"en","value":"Temporal Properties of Clean Programs Proven in Sparkle-T"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5491995"}},"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":"Q5302891$EAF48994-E4DD-41A8-8D8B-B76F8CAFCDCC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5545158ec148255226c5e9dbbb2183ddafe13f7d","datavalue":{"value":{"text":"Temporal Properties of Clean Programs Proven in Sparkle-T","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5302891$540052E2-4955-4ABC-A18E-B55980840B0A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0e721664035287427ee8604ce58fcf3e4fd4f90","datavalue":{"value":"1156.68337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302891$59C0AFF8-7F5C-4F87-90A2-B47A300944B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"76344721bfc6ed3986544091d0cb97c057e3c7fd","datavalue":{"value":"10.1007/11894100_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302891$617DC99C-82D2-48AE-8FEE-6AD18F8FC303","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06fbc7210d0c223ae956d19bfc36e80ba8ab84ef","datavalue":{"value":{"entity-type":"item","numeric-id":2898782,"id":"Q2898782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302891$D0B6C27F-5793-4BE6-928F-A25C389F1E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea09d5e8a299d4c7bbabd46a2e47af565c4a020d","datavalue":{"value":{"entity-type":"item","numeric-id":255392,"id":"Q255392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302891$D46EAA02-2551-4F28-8BD5-33AC84192F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd5f2ff4445a260f11e83cfc6931061ff3b5a581","datavalue":{"value":{"entity-type":"item","numeric-id":2755024,"id":"Q2755024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302891$9BA09DEB-3495-43B9-B70A-3B863C0B97A2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2ce688cd9378f30194a6ce4b8e05c40510488358","datavalue":{"value":{"entity-type":"item","numeric-id":3599174,"id":"Q3599174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302891$9EED34E4-A6E1-4FD9-B4E9-07883662DDC4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e26e6c2a83c3157baf46ffe4a8d556736cf88fe","datavalue":{"value":{"time":"+2009-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5302891$E9A2D2C7-460C-4647-B412-AA8EBB721F37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302891$F10C8D92-72A2-411D-867C-40FAA6C13570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302891$A49634DA-4B69-4FE9-82C5-FFFB28999379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302891$098F0D4E-BBAA-46B6-9CF5-F75464514C82","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29cd13267ffd8e48cca1510e0f6792139c72a811","datavalue":{"value":"5491995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302891$ED02CC83-A01E-49DE-A136-1EE27F0EB5D2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cea69f7dbfd2a676b6524dd7bfd837316d1d269e","datavalue":{"value":{"entity-type":"item","numeric-id":21782,"id":"Q21782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302891$7304DA4D-6FAB-43AA-92AD-3BF454530E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"09d0e89c904b4336aa9c702b0f719264b030c9d8","datavalue":{"value":{"entity-type":"item","numeric-id":14086,"id":"Q14086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5302891$9435BD6D-DD0D-4D0C-AB2F-CFF49CC81A12","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":"Q5302891$068AB2F2-D2E7-467D-A800-7A0873EE9CC2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"334e5759d2b70f3b818da103fe0ee51de96d479e","datavalue":{"value":"https://doi.org/10.1007/11894100_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5302891$45CB2E38-9753-4432-8215-F7154D3E61B5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b9e0436d00431dc74913722664efc8f149b76fc","datavalue":{"value":"W1589290950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5302891$8473844E-5B4B-44B2-87C6-6925EE4F9A35","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"449845a1a2e787b2298960a306ee82767f9af7a2","datavalue":{"value":{"entity-type":"item","numeric-id":5475626,"id":"Q5475626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bdb31d5cc54ebe3a56b5511f81115f11b2ac2fd","datavalue":{"value":{"amount":"+0.9209465980529784","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":"Q5302891$88D0640E-4602-4709-963E-5718025F487B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1087657903b65039c78beb3de66c4e1c94e2108f","datavalue":{"value":{"entity-type":"item","numeric-id":4736975,"id":"Q4736975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"474a253e4f2bfea0638f81580ec5090a98f17eba","datavalue":{"value":{"amount":"+0.7867047190666199","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":"Q5302891$0E003EB3-4FDF-496A-B6A1-3AE9E6FC0F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f3d3133229afc491af7db883d9a27466ae3071d","datavalue":{"value":{"entity-type":"item","numeric-id":3653869,"id":"Q3653869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c349efd96c82701efc453cc6d50965cd584fadd","datavalue":{"value":{"amount":"+0.7750867605209351","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":"Q5302891$975064A7-401C-4E5C-BD71-ACF9E48E5BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a6e88ab7f82aae48bb736a57e286e817102ec3","datavalue":{"value":{"entity-type":"item","numeric-id":5851847,"id":"Q5851847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13b0c57c1964788a29537aacaa0904d1cfcdae08","datavalue":{"value":{"amount":"+0.7463970184326172","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":"Q5302891$A7C3713B-4AF5-4601-8877-DB4DC397F179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"748ecc2376786718a06446352f0527024584f94f","datavalue":{"value":{"entity-type":"item","numeric-id":3482822,"id":"Q3482822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4db6c6c87747e50f63ee284165e4807ff46d0b57","datavalue":{"value":{"amount":"+0.7198537588119507","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":"Q5302891$6DD52660-D11F-459C-9A61-167B639E0C58","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5302891","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5302891"}}}}}