{"entities":{"Q5915901":{"pageid":8032134,"ns":120,"title":"Item:Q5915901","lastrevid":53048816,"modified":"2026-01-24T03:08:02Z","type":"item","id":"Q5915901","labels":{"en":{"language":"en","value":"Decidable models of integer-manipulating programs with recursive parallelism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6852694"}},"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":"Q5915901$9C170791-A31F-499F-A480-7ECA3E1CD203","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cdf3c0eb1687d3c2acb2f5a93e0c32240c1a330e","datavalue":{"value":{"text":"Decidable models of integer-manipulating programs with recursive parallelism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5915901$93C6BC60-BB44-4DBA-A823-6E674C8F6D40","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b08883da813ce81b6f836011d57f8bcc8bf0260b","datavalue":{"value":"1403.68125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915901$77CD942F-7860-44B4-ABC6-11F976C0FEF8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0463ca2248908bd3bb696bd658f1a77b03e2a0e","datavalue":{"value":"10.1007/978-3-319-45994-3_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915901$5F43ECE0-E84D-4B29-8DB9-5C0E1CF1D78D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"72f214c7e4c9d7d2da34077ac7597802081f608d","datavalue":{"value":{"entity-type":"item","numeric-id":1623277,"id":"Q1623277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915901$613FAE86-271A-4C00-B5E7-F119B9ED9437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d16040d29a42a439381bf088783c9058f5cad35","datavalue":{"value":{"entity-type":"item","numeric-id":1708663,"id":"Q1708663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915901$B19DF592-2491-4DC0-A0D0-921A185EA4F4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5915901$EECD884B-F5FA-45B9-BC37-F7CFBF142F40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a82fdf4a918c0f6ebce8b814fffa2efa1f2ae62","datavalue":{"value":{"time":"+2018-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5915901$58A1E76F-C623-4BA2-B74A-EC6BEEBDCC35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915901$1A79A208-ADC7-4684-9599-ED64244C4A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915901$4692B23A-3BEF-4A69-A371-C1258D390C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915901$E720DAFF-5C66-430D-BE38-4120A3A0FCFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915901$BF5F7214-6660-4F77-8D17-AA99ED92335B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eafaab6fffcc3525f6c12b8475d72f3133a23c8c","datavalue":{"value":"6852694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915901$0D8F84B0-C278-4313-B670-CCDECD43C76E","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":"Q5915901$C1F55ACD-6F12-4E51-9C3C-0A13F8F65F36","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"395304cee6ce437d64eb91206322d4efe3989829","datavalue":{"value":"https://doi.org/10.1007/978-3-319-45994-3_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q5915901$C73CF201-13DB-4B9B-9B43-B181C87DC963","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c053271561e21ebe51551455567d92c00c853fed","datavalue":{"value":"W2520425114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5915901$5FEEC00C-7C0E-45DE-A5CC-DCBCBED55511","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ca2c2c78627a03bd150d620181bf9571a9f1024","datavalue":{"value":{"entity-type":"item","numeric-id":5915566,"id":"Q5915566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df7395cbc720709c4b5299766bba0b4836fbd57f","datavalue":{"value":{"amount":"+1.0000007152557373","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":"Q5915901$4B61596A-C0FC-4962-9CA4-1764E2FF6118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd74d5d6a5c3d9010fd1e765f74d375b82da1346","datavalue":{"value":{"entity-type":"item","numeric-id":5179057,"id":"Q5179057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4b765f166323080bf2a6a4acf958d91e8435cd4","datavalue":{"value":{"amount":"+0.8235368132591248","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":"Q5915901$53B5DF45-0F5A-4C9F-8BA1-CAE4A10E5CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34cf98788c9b80d6d27cd5ee7771027feb99d69f","datavalue":{"value":{"entity-type":"item","numeric-id":2912762,"id":"Q2912762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fb2f31cf42caa999def3b24f88726df91d69ce5","datavalue":{"value":{"amount":"+0.7692781090736389","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":"Q5915901$F17DB7DD-93AE-4108-94E6-835893256D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2665600aec48046a0ec316e9a59c6cea5993ddd","datavalue":{"value":{"entity-type":"item","numeric-id":1675156,"id":"Q1675156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ee50ba57643e310a42a99eed845d09244e7f6fa","datavalue":{"value":{"amount":"+0.746286928653717","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":"Q5915901$8EC3ACCC-3BC1-4A1C-A65C-717C0F63D3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b8ba8721f927dbdaaff26a5b103de99ab844c6e","datavalue":{"value":{"entity-type":"item","numeric-id":2942873,"id":"Q2942873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e71873e54e374d40edaf67c28936c909203be672","datavalue":{"value":{"amount":"+0.7453556060791016","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":"Q5915901$2F61F8E1-3E9F-43B6-BB22-71DE1EDE74B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5915901","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5915901"}}}}}