{"entities":{"Q4727403":{"pageid":6756980,"ns":120,"title":"Item:Q4727403","lastrevid":49058059,"modified":"2026-01-06T13:08:21Z","type":"item","id":"Q4727403","labels":{"en":{"language":"en","value":"A Recursion Theoretic Approach to Program Testing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4001451"}},"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":"Q4727403$7A320797-4CA3-49D4-9186-3DCAD3A58268","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"031d3fd579e7673a370ba0e094065af4e3be168c","datavalue":{"value":{"text":"A Recursion Theoretic Approach to Program Testing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4727403$B44DD216-269F-4DFA-97BF-DF09E0D48CEB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1796b9bc05ce1274becb40be51e7873ce09cef79","datavalue":{"value":"0617.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4727403$8B3D03A8-8780-4EC3-83CE-90CE252551B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e94399c68c03d9d90877b910657b7828b4d4bbbf","datavalue":{"value":"10.1109/TSE.1987.233489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4727403$1BDCC0E7-8531-4C01-8C5E-436CF69B0149","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09db6d4d01194a44f263d7cac677786974abb2bb","datavalue":{"value":{"entity-type":"item","numeric-id":598791,"id":"Q598791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4727403$2B01FC6B-72A2-4B50-992E-1BE7515E9FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b9430876ee67798e04f590d506b46f0dbca256d","datavalue":{"value":{"entity-type":"item","numeric-id":674180,"id":"Q674180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4727403$D1DEB9C6-645E-4E2F-95A5-A911055AC25A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"220b294d2d3a2e498b04ba0341eb4d18d93bc02f","datavalue":{"value":{"entity-type":"item","numeric-id":150608,"id":"Q150608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4727403$A365F275-ED97-4F8F-9CD4-EE3397CC3D89","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q4727403$09B1DBEA-B0C2-48CD-85AA-D58E3D31A5FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4727403$2D244168-968D-4903-8E82-4385C66816AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59e058f234636bcbeee068f133c0ac26a8231960","datavalue":{"value":"4001451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4727403$94E96C45-E61A-49D6-B4A5-BC1C448131C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6a89e64a130241c0266be620ad785bc7a233cc4","datavalue":{"value":"white box testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4727403$F9920748-A37A-4756-8327-7B873C1943B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1c0419a0030549d7b607ffb6c40cf2a1c799099","datavalue":{"value":"Inductive inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q4727403$82028796-FDC1-46A4-8007-546C7085A367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"923b51afb555127d0876a1704d6ad9635b36650c","datavalue":{"value":"synthesis of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4727403$ABCDEFA9-E7C3-4121-99A9-B9DDCBA70F75","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":"Q4727403$F7DC3C5D-A233-4DA7-9981-3CB279C94A5A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8ba54051b3ac257ae8a5ed2e34b1f88363934367","datavalue":{"value":"https://doi.org/10.1109/tse.1987.233489","type":"string"},"datatype":"url"},"type":"statement","id":"Q4727403$427445B2-62E8-4F3F-97F2-F3CB7A3EED6C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"891abde10fbf9367374fb9502ff08d8a1cc31a80","datavalue":{"value":"W2110256630","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4727403$CB60792D-4270-4814-B6F5-4D9551F73D0C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"660caf47e1a640a93b5542c27268c5ad398186c4","datavalue":{"value":{"entity-type":"item","numeric-id":3746864,"id":"Q3746864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e806ace64293af7c591d1308514dab3e84ba1cc","datavalue":{"value":{"amount":"+0.787327229976654","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":"Q4727403$1BA1E8A3-32AA-44C2-B565-0E8C9A8D7885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e093c96259c12ec4432b03592726138f8451eae","datavalue":{"value":{"entity-type":"item","numeric-id":2723932,"id":"Q2723932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a311aba063b8ca6fffb7678d0a3fffd69e86aec","datavalue":{"value":{"amount":"+0.7858191728591919","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":"Q4727403$AD762A80-F2F0-4FC0-8CEB-4A3CAE7BBA79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b62968992eade6a7c6cb6f6f5a96377e8639f73d","datavalue":{"value":{"entity-type":"item","numeric-id":4282561,"id":"Q4282561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c051188f0087c6a3a93db2f30f92fe003463cb49","datavalue":{"value":{"amount":"+0.7849425673484802","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":"Q4727403$8629B981-2E88-457C-BB46-4F604F5653E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45449b4e715997db9b8ab9f4eff13961d8d9e0c2","datavalue":{"value":{"entity-type":"item","numeric-id":1060837,"id":"Q1060837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c051188f0087c6a3a93db2f30f92fe003463cb49","datavalue":{"value":{"amount":"+0.7849425673484802","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":"Q4727403$258E4E5C-498C-4744-BCE9-D338A4A61E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a85823e37809ed4a542ccbab70e666ee626fad42","datavalue":{"value":{"entity-type":"item","numeric-id":4205070,"id":"Q4205070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"719a016168b2aa6930b885d763d5ceafa5dfdbe0","datavalue":{"value":{"amount":"+0.7783809900283813","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":"Q4727403$554E8712-A908-4816-9B51-60D626DD819B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4727403","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4727403"}}}}}