{"entities":{"Q2900516":{"pageid":2911241,"ns":120,"title":"Item:Q2900516","lastrevid":51517364,"modified":"2026-01-18T14:41:49Z","type":"item","id":"Q2900516","labels":{"en":{"language":"en","value":"Strong equivalence of RASP programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6059509"}},"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":"Q2900516$67D7740E-DFB7-4011-8AC2-EFB58DA36B9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd303692f485e3d7fa2ff6b36904c0934e43bb65","datavalue":{"value":{"text":"Strong Equivalence of RASP Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2900516$99B334F1-D7A8-4FB6-B441-2B2C8532E07F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f34c7a54e0f97d552f7d4a11ed4111fa2f359923","datavalue":{"value":"1357.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900516$98963B76-961E-4BAC-8508-23F449E669ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"981916f461d65274e125e86a549e77bd805308a3","datavalue":{"value":"10.1007/978-3-642-30743-0_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900516$1B62C261-87FF-4731-A22C-E356D7F84867","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"aa733e1850763709bc9073c4421e2a032d1dee93","datavalue":{"value":{"entity-type":"item","numeric-id":2900497,"id":"Q2900497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900516$FB6AD666-4CFD-4C4E-B56F-58DCD781AEF1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92b609966e3495f45f2960464f0beccd37f30b2f","datavalue":{"value":{"time":"+2012-07-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2900516$67D3ECB0-2F7D-403F-AAE2-64E9BCB70ED7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900516$CC691A0D-4052-41E6-85F5-93836941B864","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0112e75e3834c2361af331edfb5217dcb5ce362","datavalue":{"value":"6059509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900516$F487A21F-4978-475F-B18B-861102D50798","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":"Q2900516$36E65618-F6E3-446C-B28B-BE439EA0D6D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"216800458fa82f26f949cf44eacf2da6028465ff","datavalue":{"value":"https://doi.org/10.1007/978-3-642-30743-0_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q2900516$611FD53C-B629-4EBA-8CE3-97805A3E1F62","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b093206191f0551eee281ee1e45c04bb2f2da44d","datavalue":{"value":"W2111553163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900516$3ABAD067-2593-4FD2-BF1E-1D29E77FE61B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d0eb12d2bb9d4287d7eb22f6da2759f846111a","datavalue":{"value":{"entity-type":"item","numeric-id":4406531,"id":"Q4406531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900516$999DF442-B451-4AAC-B375-FECC0870B140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2287a65c6a2f93d6784ea4472c39f53f8c5469cb","datavalue":{"value":{"entity-type":"item","numeric-id":3631318,"id":"Q3631318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900516$957691C6-0D03-48A3-BE6C-D8CC55980CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf15c70318c94a4d0452121e581316a4f4b67cfc","datavalue":{"value":{"entity-type":"item","numeric-id":3553920,"id":"Q3553920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900516$A37B4D80-7996-47A1-A3D7-D90968AD8FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8f57512cdc228c5c1ff0f6b778351856cded14c","datavalue":{"value":{"entity-type":"item","numeric-id":3084978,"id":"Q3084978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900516$8CFE48ED-D8DA-431D-B43F-9865CC6D9462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900516$90DD189F-C751-4807-8B02-4BA8F3098A14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eda07e74c455b9508c4802bce8fdc74d6e13f24","datavalue":{"value":{"entity-type":"item","numeric-id":5738917,"id":"Q5738917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900516$F708A93E-34A1-4F38-B629-4AEA90872B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f501bbfbb1e6e7308e5e8e7a6673bfa85791390","datavalue":{"value":{"entity-type":"item","numeric-id":4955344,"id":"Q4955344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900516$125740B6-8B86-4E0C-A201-1A8C51530131","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee6d46dcab7d4b47495ad43328c293ba9c8c6f71","datavalue":{"value":{"entity-type":"item","numeric-id":672704,"id":"Q672704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900516$C88483A5-029F-479A-B6EC-375BFE2BAB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb6915ece1ff0e3c04b1478b9a756ad0cf2910cc","datavalue":{"value":{"entity-type":"item","numeric-id":167067,"id":"Q167067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900516$5DD05CCD-7AED-4992-9EF1-4FFBD4179D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"16514a91c02ab847e197ec2f7e3a0e7570885bde","datavalue":{"value":{"entity-type":"item","numeric-id":4564352,"id":"Q4564352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900516$85DAD8A2-7FAF-4189-BC47-B315D524AD90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b91f1155314eaee8460d9265c8a696825562053e","datavalue":{"value":{"entity-type":"item","numeric-id":3084978,"id":"Q3084978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05196d79c4d5901de755cb53dc26ec59de8270de","datavalue":{"value":{"amount":"+0.8283354640007019","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":"Q2900516$B6693DF9-C0C6-429F-A26D-6448B63569CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e3a2d7e6d8a0ce19c1c0d635a897a9e03062a95","datavalue":{"value":{"entity-type":"item","numeric-id":3553920,"id":"Q3553920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"892df341997defaf4e5388586ba5775a112a449c","datavalue":{"value":{"amount":"+0.8046413064002991","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":"Q2900516$86F7A496-F618-41EA-81EE-E48D8A2A414C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"770d165ccdcaf342977c1bc82683a269572b6e65","datavalue":{"value":{"entity-type":"item","numeric-id":4583307,"id":"Q4583307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f227137ab25561dec9aa624736be4840c77d1c8","datavalue":{"value":{"amount":"+0.8020091652870178","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":"Q2900516$D0692072-BACC-4AC0-AF7E-03E963EED9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10dc764a380c60730bf3cc3bfc99ad37b7da62be","datavalue":{"value":{"entity-type":"item","numeric-id":3100236,"id":"Q3100236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4140e6264ba950faabf2a7dd17eb00153a90bf50","datavalue":{"value":{"amount":"+0.7654175162315369","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":"Q2900516$56A7EBA3-812E-4284-AC5C-CFE5B18C9908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a874e584e3d8d03702e1bac3b705fb764b3b7143","datavalue":{"value":{"entity-type":"item","numeric-id":4808808,"id":"Q4808808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2925ce9488ae95c8be2db1459a02900b315f9a1","datavalue":{"value":{"amount":"+0.7507480978965759","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":"Q2900516$6B2248D0-EF26-4E4A-9705-00E59D270F30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2900516","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2900516"}}}}}