{"entities":{"Q1329196":{"pageid":1339946,"ns":120,"title":"Item:Q1329196","lastrevid":81362873,"modified":"2026-05-06T18:20:27Z","type":"item","id":"Q1329196","labels":{"en":{"language":"en","value":"Proof rules for recursive procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 598166"}},"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":"Q1329196$11023642-43EB-433A-8F5C-C6588861AF6D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e0fb3e1cab7544fd29dc69eb4bb37136c3fc712","datavalue":{"value":{"text":"Proof rules for recursive procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1329196$9F51A792-44EC-42A4-A9AE-2D202F6CAF03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9acc18d6db184cc44704e0d4f151557c1a7a787a","datavalue":{"value":"0806.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329196$8EEB2C1C-0B41-4357-8180-8056E442E0FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"00d89cae8ea5d551d03079fe85004b508466add8","datavalue":{"value":"10.1007/BF01211249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329196$41C688D9-FABF-40AF-ADA0-EAC3C62C0772","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d19214d6ab96c1b95faaaf223b83bab4e859315a","datavalue":{"value":{"entity-type":"item","numeric-id":216155,"id":"Q216155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329196$118F6C91-455B-4457-A3E6-7763A7A5457E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329196$BC4E0C13-BF9C-4769-9104-365C13948B2C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"489485f02f87b2a6e7bf05282bc879b8f2dcc5dd","datavalue":{"value":{"time":"+1994-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1329196$4C785E6E-196E-422E-9299-6D783C531CCE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329196$F1FED1BE-3501-41F4-8203-3800BF4AAAD3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c8c18aceb5448dae2ba660d524bf612e5f6c2da","datavalue":{"value":"598166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329196$368B5D1E-1BA2-4F2E-B1D3-70FA2CEE6A25","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ffcd080b8a6812ca6b84c24d951f3535846f3a","datavalue":{"value":"recursive procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1329196$E4216347-D7CD-4D76-A5C0-581389E5086E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"576a23c9ed44b797aa994c057569a46856f0914a","datavalue":{"value":"Pascal-like language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1329196$D0E0FF8E-8E59-4D91-AF4E-9E21188FFF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0fbb209627c87633448826b2ab2c710c26246ff","datavalue":{"value":"Pascal-procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1329196$537A84D3-E82B-4645-B2A6-4E368BAD2689","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":"Q1329196$B9F71748-94D7-4725-AFA8-9E4D059FE63B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd265bdbcf41f2b9982b655d7aaf44e4072217fa","datavalue":{"value":{"entity-type":"item","numeric-id":4692630,"id":"Q4692630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329196$EB462202-5F2D-40E5-BB63-919457B3BB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf1eb0085816c68ff7078182501fe6b0337105","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329196$9DE3AB81-32CA-4061-939F-1624253DE79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47b8c90d45ee285590b1a168a8503851fe5b134","datavalue":{"value":{"entity-type":"item","numeric-id":3925859,"id":"Q3925859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329196$EDE830D0-0993-4A60-AEDB-B397F6F89DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc209476013c541e7a70f8142038dcb4fd6d0bab","datavalue":{"value":{"entity-type":"item","numeric-id":911748,"id":"Q911748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329196$BF94A4A9-01A9-4CC0-A215-D3DF5A69435C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"172a2f3fbc1981260a40b9d016ec06e93848df80","datavalue":{"value":{"entity-type":"item","numeric-id":1183432,"id":"Q1183432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329196$72D942F0-D4E1-4BCA-9D5F-83E99AF3CFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7c3461e823e16301f2ba1d4613d0fabb013ef51","datavalue":{"value":{"entity-type":"item","numeric-id":4023579,"id":"Q4023579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329196$BC418198-F341-4FE2-9368-00F3924837DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b4246bf332d45c90c410b55aa43c4af6aee470","datavalue":{"value":{"entity-type":"item","numeric-id":5626277,"id":"Q5626277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329196$3C3B6DB9-9E4B-4D48-9069-A9CA27A32CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3253fde9bb26e63709646bb64e2ef4fcc5b6553c","datavalue":{"value":{"entity-type":"item","numeric-id":1189858,"id":"Q1189858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329196$ED2FDF22-9C64-484A-9BB2-BD7F23F9BDBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"992009231a3ccf90d1f1c83b557e5dfa4622a42d","datavalue":{"value":{"entity-type":"item","numeric-id":921907,"id":"Q921907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329196$4BBC3792-DCD2-45C6-8A74-A763CC22021D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73afd4a8b9c57c125e3b479571ed5c961d82ebe0","datavalue":{"value":{"entity-type":"item","numeric-id":797986,"id":"Q797986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1329196$FD3914BB-B7CD-4068-82F2-42E7D1AA2BA4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8984e4f5ee9e815e5baa0ffbcc63f06735706c5d","datavalue":{"value":"https://doi.org/10.1007/bf01211249","type":"string"},"datatype":"url"},"type":"statement","id":"Q1329196$0308D2CC-6553-4183-B44A-5B2090C2B03F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1c7b7d4dddf284e553c104a7212a21cd061801e","datavalue":{"value":"W2062306963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1329196$16D5D588-8BA0-40D6-BD97-DFA23FAC86A3","rank":"normal"}],"P1643":[{"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":"fe9bf691b600160b6ecde3fe2a0336b2aee8de44","datavalue":{"value":{"amount":"+0.8711941242218018","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":"Q1329196$2AF6FC9A-0233-4512-8B2D-A78800F2E9D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dda8ff4b37305d49c5279505db4bfb960d46a96","datavalue":{"value":{"entity-type":"item","numeric-id":3221385,"id":"Q3221385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00892bb43c8f08abeced6e63056f3b9863df16dc","datavalue":{"value":{"amount":"+0.8509700894355774","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":"Q1329196$E18F23A0-D1DC-45E6-923F-64534FB893FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71a60eb932c8557a8d9a340978cb9b5879fec5a1","datavalue":{"value":{"entity-type":"item","numeric-id":3587255,"id":"Q3587255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e428a8971bf6be9d1da0ff45cb14d0e449c254f1","datavalue":{"value":{"amount":"+0.8392063975334167","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":"Q1329196$AC042166-DACB-49FD-A35B-75FFE50A1747","rank":"normal"},{"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":"4d6036cd87b22ba75d22d877ff1511b1eb1637fe","datavalue":{"value":{"amount":"+0.8243166208267212","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":"Q1329196$C749AAFF-8B3E-4B9B-AAF2-808ADE4CA30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acaf30a8c2d3fc3343d0232071871f84a4f80adc","datavalue":{"value":{"entity-type":"item","numeric-id":3713571,"id":"Q3713571"},"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":"Q1329196$1ABFC02A-7C21-49D8-8769-CBE5E1735C69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof rules for recursive procedures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_rules_for_recursive_procedures"}}}}}