{"entities":{"Q3323258":{"pageid":3333966,"ns":120,"title":"Item:Q3323258","lastrevid":87235247,"modified":"2026-06-04T11:10:18Z","type":"item","id":"Q3323258","labels":{"en":{"language":"en","value":"Termination assertions for recursive programs: Completeness and axiomatic definability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3854407"}},"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":"Q3323258$CF10108A-188F-4F78-94D4-5024B03B199C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca5aecaaf599e244a38dc690a15326d1ab95b1da","datavalue":{"value":{"text":"Termination assertions for recursive programs: Completeness and axiomatic definability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3323258$08C2FC2A-95EC-498D-8838-4114EE3CB812","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95b91c85e8229516617e876693fef729bf28f4ca","datavalue":{"value":"0537.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3323258$E1DB0F2B-11C7-4748-BC09-5F0B8955B279","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6959df6e5730d19b8372d4712635b572e2740c9f","datavalue":{"value":"10.1016/S0019-9958(83)80053-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3323258$FDEE364B-3B5F-4073-94D2-B0922F8ABF3C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1491ce4cefcb5d07a122e169f280e92b36dc114a","datavalue":{"value":{"entity-type":"item","numeric-id":751293,"id":"Q751293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3323258$66617C7A-E348-4D57-AFF4-8DC4F7C04FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7b0bfbbcf5657a8b101c8d9d79e6747c41c0556","datavalue":{"value":{"entity-type":"item","numeric-id":276486,"id":"Q276486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3323258$1B08C559-B6C8-4C54-9491-9600FE2DE3A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4434820098e3b6c980c31814818af7c68f56bd22","datavalue":{"value":{"entity-type":"item","numeric-id":2832035,"id":"Q2832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3323258$311A61A6-5101-47C6-9DD1-8DB8B112CF8B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3323258$AC890482-46B9-4C32-9FC9-53F6DA731566","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3323258$5AD36B38-A278-4689-A5FF-BB4AD3B4539A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3323258$89F599F4-3A01-42B2-BD7A-15BE50385F79","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"faed56e0065730b0e57e19a8ad96cb9546de93b3","datavalue":{"value":"3854407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3323258$D93978C3-F6E0-40CD-B2D0-74008021F618","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3323258$4002A988-D466-4DB4-A514-F72E631EF651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3323258$EC17D2ED-9C6F-4EBA-9F46-20E29238F54A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3323258$C0D3B348-34A3-472B-B9E1-A1B88FE02C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ffcd080b8a6812ca6b84c24d951f3535846f3a","datavalue":{"value":"recursive procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3323258$6C5C7125-7DD9-4A4D-B5B4-078A59527CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5d4c78b4580c4eb5646552823e5a0533e1d770b","datavalue":{"value":"axiom system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3323258$78C064EA-7234-41D8-9F17-A2EA328FD173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be78843b22818f88e31d562199f973d37dc788e3","datavalue":{"value":"global procedure calls","type":"string"},"datatype":"string"},"type":"statement","id":"Q3323258$055A6A27-5E96-4923-9AFC-771DDEA0BB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"634ba4004fec3054f5fc95c5d11e00ff5df88c82","datavalue":{"value":"recursive program","type":"string"},"datatype":"string"},"type":"statement","id":"Q3323258$F6E96A2D-BB61-47D4-8927-E23CF1BAAE66","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":"Q3323258$2020734B-40A7-45DA-8CA0-25BB824ADB42","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d5e43a1036566bb52c11fa1c128b67e66ffd988f","datavalue":{"value":"https://doi.org/10.1016/s0019-9958(83)80053-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3323258$4442A5A6-CEA0-4A18-A8EC-7ED2A48E2558","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f9706c31cb416c5af84cc6312d6c1c379b795dda","datavalue":{"value":"W2037906582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3323258$77FA73D7-988E-4B8E-9FC6-A6E4C9A87C5F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b18d472ac45abd0df1c2cf0650e49ec36ec49ad","datavalue":{"value":{"entity-type":"item","numeric-id":5452190,"id":"Q5452190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffbfcf44bcc4e435bd43d072725c78bedff86076","datavalue":{"value":{"amount":"+0.7735503911972046","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":"Q3323258$563DFD0D-4890-4F2F-A212-574F6EF8D0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"697a05c3dda8faaf612f0a9ce2155d5ef8fb8f56","datavalue":{"value":{"entity-type":"item","numeric-id":3756502,"id":"Q3756502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7582c1905db72a55e24cc5a71fc7ae1f1ec03a9","datavalue":{"value":{"amount":"+0.7692234516143799","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":"Q3323258$04F17223-B08D-4C55-8EAD-69AA8242EC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"672d995dd3428eb07ed30b7429a38292a5821170","datavalue":{"value":{"entity-type":"item","numeric-id":3763566,"id":"Q3763566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36e76fcaa026fb8442a066fdce48a98c47c5e37f","datavalue":{"value":{"amount":"+0.7593615651130676","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":"Q3323258$C7E5CC49-AB18-4CF6-8F96-1A3879BF1ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7745c71156ecdc53ab628c037baa8a9017ec16f1","datavalue":{"value":{"entity-type":"item","numeric-id":278747,"id":"Q278747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f00eacd8a11acc7646080cb9e9d9b806def8d9a","datavalue":{"value":{"amount":"+0.7565325498580933","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":"Q3323258$0F8AD69B-3D8E-409F-B5F6-F2818A9000C9","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":"3bf16c01c373048f6c585188a757d7e4df730393","datavalue":{"value":{"amount":"+0.7524967193603516","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":"Q3323258$5A69C6A9-5C11-434A-AB7D-8D403447F952","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Termination assertions for recursive programs: Completeness and axiomatic definability","badges":[]}}}}}