{"entities":{"Q3713571":{"pageid":5743477,"ns":120,"title":"Item:Q3713571","lastrevid":50628035,"modified":"2026-01-14T15:03:53Z","type":"item","id":"Q3713571","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3942997"}},"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":"Q3713571$F91C58EE-299B-4734-824D-0137083C26EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a83ab9e83efec49f4edf1c6177c835e58b00528","datavalue":{"value":"0587.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3713571$284B78B9-0985-4588-B944-85BA19D101B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3713571$06059E37-EBD0-44A9-8A77-42B66DE2CFBB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3713571$2FD72281-4707-4BA2-8461-42D4ECE9FB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3713571$AEEC0A40-24BF-4F4A-B228-F33C1B5720D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"58ec6ac54c9718a389ad52c38f5f6549e7ed3e4d","datavalue":{"value":"3942997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3713571$B7A693C8-B0E2-4A78-B4CD-FE48F0E1ADA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee3eabf068a032eacfb187bf2ca0f45abd025d2b","datavalue":{"value":"arithmetical soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3713571$0E600E85-109D-4AEE-8B05-607D84E6DFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ff02888b791812ddffc3fccfc663496a3736af7","datavalue":{"value":"arithmetical completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3713571$47FB04BD-67AA-494C-B0B7-06EB58BD644D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d992103937acbd7525870d32afb85d3e5a49179","datavalue":{"value":"Hoare-like proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3713571$2E93CBFE-EA94-4E33-B27B-3E0559F93437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3713571$30F1B951-6A58-446B-8F7B-5F5D2D2396E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3713571$B2AF6D30-7EF0-4784-BF2F-EBF616FFF2E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51c6159aac1fede2c0841626a95cb600a7f09b39","datavalue":{"value":"termination of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3713571$C68478C3-AB66-4231-B39A-E7E279CBBD68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c931dbe5db624c529bb78d80f886769083e83c1","datavalue":{"value":"nested recursive procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3713571$901B8649-ACE6-4FBE-B152-2B752A0451FA","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":"Q3713571$E682BBEA-FF4D-4881-B434-350B20428718","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c03b9e1cd52c3d3baa1559a5e0f334256e000c8b","datavalue":{"value":{"entity-type":"item","numeric-id":913478,"id":"Q913478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"406d53eb3104df3391e146dec24a5ef6f565303c","datavalue":{"value":{"amount":"+0.8386480808258057","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":"Q3713571$917EEFFF-69CE-41E7-A75A-1930B3830808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acaaea0cc3fa6a8d30716da35caf95fad192a27c","datavalue":{"value":{"entity-type":"item","numeric-id":1329196,"id":"Q1329196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1220080851c4c8eb558b511c0e749ae6a0f1a094","datavalue":{"value":{"amount":"+0.8221147656440735","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":"Q3713571$4EE9FF96-829A-4E2D-9CBA-AA4821F7FD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"920a9b4736e3dc9bdd0f1f07e717de567cd54fde","datavalue":{"value":{"entity-type":"item","numeric-id":3678649,"id":"Q3678649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7490b366f1a73419345ab89abaa57e13ff6b097e","datavalue":{"value":{"amount":"+0.8221011757850647","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":"Q3713571$4AE22652-7598-43AB-A186-26A539FC5A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b56546806e841c6fe1c457e33c7e19adc61eb0a0","datavalue":{"value":{"entity-type":"item","numeric-id":4411818,"id":"Q4411818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d3990b56edf113af3a8ff1e19c56b513044b367","datavalue":{"value":{"amount":"+0.8050668835639954","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":"Q3713571$4B24849F-98BC-45FB-ACED-E1B3421550E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f378310b224daeed1f44796da1481a4ea5888213","datavalue":{"value":{"entity-type":"item","numeric-id":3741013,"id":"Q3741013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2282981b976ee60106b86de280c387c2a41106a6","datavalue":{"value":{"amount":"+0.7771835327148438","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":"Q3713571$2F656195-284F-401E-8114-F7A1C5121AFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3713571","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3713571"}}}}}