{"entities":{"Q3585023":{"pageid":5614927,"ns":120,"title":"Item:Q3585023","lastrevid":51066272,"modified":"2026-01-16T11:44:14Z","type":"item","id":"Q3585023","labels":{"en":{"language":"en","value":"Reasoning about loops in total and general correctness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5776600"}},"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":"Q3585023$27A65446-8122-4797-A848-ABB4DA43F277","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41ec1e550d9a71a2dac91f0097dbc8e5fcafaf41","datavalue":{"value":{"text":"Reasoning about Loops in Total and General Correctness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3585023$2E69CAD6-352C-413E-B40F-340AE30DE225","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b685d845352e475fae4037398b8bce4c798dd2f","datavalue":{"value":"1286.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585023$7DDB64C7-E17C-496C-8E0B-32FB3BE90FEC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d8a9682220660c7fd1f6b63735669b2117c3dc0","datavalue":{"value":"10.1007/978-3-642-14521-6_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585023$6DD42DA7-DAC5-4466-867A-0583D5B2842E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4098e59db3e4bc21f0b732220a541be8ca257f0","datavalue":{"value":{"entity-type":"item","numeric-id":851127,"id":"Q851127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585023$B2C57F45-A3A3-4926-A7E8-99CD8130A748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffdb1dd75cd4312e715709efb5cc8beb218a80dc","datavalue":{"value":{"entity-type":"item","numeric-id":172105,"id":"Q172105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585023$CD09C746-BF4E-41F6-9DB1-43083F254A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4431992cd38d6465b41afd55f8894ce0dc3fb66a","datavalue":{"value":{"entity-type":"item","numeric-id":2750406,"id":"Q2750406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585023$F5454522-B282-421D-9D47-020FFF61647E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a469690149bc3cf60335251215f8201e92d3e50c","datavalue":{"value":{"entity-type":"item","numeric-id":2814611,"id":"Q2814611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585023$0907D158-9F61-4D5D-ADAA-F603372E842E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb30be9aa52453b28e16b3393b2ab68c6420e54e","datavalue":{"value":{"time":"+2010-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3585023$B3018EB5-5CD2-426F-A0F1-610E81DF2F31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585023$585F1D60-A589-4EEA-AA56-FCD21165B134","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65a4e08ef388ce20df1d74b0ef3e3ee9a20c17b4","datavalue":{"value":"5776600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585023$CD5020FB-DB97-48E3-83F6-F3E9A0FCCEE6","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":"Q3585023$CFB6B609-B5A6-44FB-B09C-342E6A1167D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"978c051caf6badeefb81afc2b8caff2414487be1","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14521-6_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3585023$74BCB8D8-2619-4E60-A54A-3784C926B7C3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"614cb5f2610f7fcb33ccead56a0a39be7622160e","datavalue":{"value":"W1555715175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585023$69E9A74C-A3B9-437B-85EF-1475E87A1199","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea8bb53d6fcf015983e1b7a00300544f342de8d2","datavalue":{"value":{"entity-type":"item","numeric-id":3651514,"id":"Q3651514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21356d6ecb4d00010020c9dff05d32a6e99dc692","datavalue":{"value":{"amount":"+0.7766677141189575","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":"Q3585023$32F44081-BB7D-40F3-A463-18FA36DB8236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3df2062477e400153324e8a42104b32141a25c9f","datavalue":{"value":{"entity-type":"item","numeric-id":2265798,"id":"Q2265798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e198cfd5ae84267eeb0b5d0e025e58701b019031","datavalue":{"value":{"amount":"+0.7694423794746399","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":"Q3585023$8345911A-1E19-4B35-A28B-C079DA287E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63990505fc0a654a16c2418668693703e8214cb0","datavalue":{"value":{"entity-type":"item","numeric-id":2908567,"id":"Q2908567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9f87d0922a250e4ba18597aba6fcb20e19d3b6f","datavalue":{"value":{"amount":"+0.7580713629722595","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":"Q3585023$B227D9DB-90BD-4760-9495-9FA871BDE479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55db6001100ac1396139030a36f4624d4e2e4422","datavalue":{"value":{"entity-type":"item","numeric-id":5958768,"id":"Q5958768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"555dc14e62ff1ea78250eead8d979d5781c584b9","datavalue":{"value":{"amount":"+0.7566310167312622","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":"Q3585023$0B536581-B1E1-4F83-BE8C-CF86E886070B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"462ccb45add6f04c6de72dbc62e31a4ff085e986","datavalue":{"value":{"entity-type":"item","numeric-id":3325017,"id":"Q3325017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b01a333a42e5bc943d387730fff61d9f92366383","datavalue":{"value":{"amount":"+0.7565265893936157","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":"Q3585023$15AD3D29-2A2B-4BD6-9EA5-623C5EE584EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3585023","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3585023"}}}}}