{"entities":{"Q5184385":{"pageid":7213957,"ns":120,"title":"Item:Q5184385","lastrevid":48790006,"modified":"2026-01-05T21:01:52Z","type":"item","id":"Q5184385","labels":{"en":{"language":"en","value":"Recursive Programs as Definitions in First-Order Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3892566"}},"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":"Q5184385$C4054AD9-E60B-4835-AD8D-8B46D9FF2F8D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c1bd83eadabe4254bb59e383fc0bc5b7d8d9bed","datavalue":{"value":{"text":"Recursive Programs as Definitions in First-Order Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5184385$8FBBBF9B-443C-4E44-A4E4-239C8B34F214","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b66b0ad0f22c2b4e08ec11532814126d72429ad7","datavalue":{"value":"0559.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5184385$42278C05-CB9C-49F5-A688-45D82F5F5C8D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d07901096b84c4f5c0a9c9936485e564976d867f","datavalue":{"value":"10.1137/0213026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5184385$597AF72B-4332-4B34-9EE9-C7EA7741C176","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d74d74a05d3e9fc5337b460ff42ff87acc73991e","datavalue":{"value":{"entity-type":"item","numeric-id":672056,"id":"Q672056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5184385$C21F0B69-FCC8-43AF-9C13-5DD6539EDD47","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5184385$4F55C230-9180-4957-93DF-8AF3CDEBFEDF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q5184385$CB3C0273-B723-45AF-A303-EA7792A6B74A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5184385$75339057-C795-4D18-A359-508811601C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5184385$A2FA98C1-8BB1-43E7-AA2E-30D4F0D99962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"57eee2f313463199e20b9235bce5c88ea02d3389","datavalue":{"value":"03D65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5184385$28099F04-A261-4674-B431-8BE53B8EF980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bacc42d4ab28169bcab125a394e2c486e425337a","datavalue":{"value":"03D75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5184385$85CDC8F6-F188-406C-870C-45B184DB8D1F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40e346e227b3410d9d559a2357169692a61d854e","datavalue":{"value":"3892566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5184385$04275ECE-87C4-4FD4-B9F8-176FC0D14B91","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9168a78ecc72716f6c4bac412ea5f930139f49bf","datavalue":{"value":"rewrite rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5184385$441D6653-C2EB-4C2C-9CCC-B58AFDE056B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5184385$BDB9AF75-84F9-4902-84D2-C6890F7A4BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5184385$29CD70AD-ED7B-4163-AAE0-DC5F182313BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f1256c8b0070c66f4228355c755698c708a9c34","datavalue":{"value":"program transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5184385$39A3DC5D-AF17-4A1A-A8F7-083B455AEA87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b9b06a91bb1c44c0e2199cd5310ae32d7d8fc60","datavalue":{"value":"fixed- point theory of recursive programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5184385$D59ED6CA-73AF-4F06-A8D8-9569B3A86548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c39a3dcb919cfb7892b24ca37da2f18a4bcfe1c8","datavalue":{"value":"first order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5184385$B589247E-F6D6-4BDD-BACC-72717418AFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01873808ed420453ae082d7e18447e172733687b","datavalue":{"value":"higher order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5184385$F97DD80C-1C48-4D0E-B7EB-06A86AC1AEF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bf8a6acc7c8f0e1d4c6a6f8a79bc23cd97bca04","datavalue":{"value":"program logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5184385$4A5E24CE-1638-4573-9B7B-891103E38865","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25db55153babd7076d594d911b639e78d62b451a","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5184385$AB755293-E35A-4DDC-98AA-62857555034B","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":"Q5184385$5EDEE56C-ECCF-4306-8590-423D8D9AB26B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef6152c1caeb8d4144aab78583cdbc4be4f20e5d","datavalue":{"value":"https://doi.org/10.1137/0213026","type":"string"},"datatype":"url"},"type":"statement","id":"Q5184385$6C505764-490C-4531-A48B-304EBFE90C6C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1b3ba703a5ee729a91d6706ac77a12cccc3588c0","datavalue":{"value":"W2049714341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5184385$ED9779F6-9D14-4C56-89DE-E0FE657561FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cc68cc3d46dac776e2b85259f27d0f30f32b163","datavalue":{"value":{"entity-type":"item","numeric-id":3358718,"id":"Q3358718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34e78218bf4f393fe149d75a5aeeeb5763579755","datavalue":{"value":{"amount":"+0.7995550036430359","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":"Q5184385$D0F32CA4-E2ED-4654-B5A7-DA0DD3D818CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d41a48bbb8dfcce1568cee388a42664c8faff6","datavalue":{"value":{"entity-type":"item","numeric-id":3681906,"id":"Q3681906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c049b1629a1ecb36ac50053cde71f013035510f","datavalue":{"value":{"amount":"+0.7962809205055237","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":"Q5184385$CA4516C4-3464-4725-9F9D-22750C9A3D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b553ea3bfd32ff73c8ac582cccb04ce83543aff","datavalue":{"value":{"entity-type":"item","numeric-id":2639051,"id":"Q2639051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8317229edddc83919854c2e22d1df22634f526db","datavalue":{"value":{"amount":"+0.7725458741188049","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":"Q5184385$E6E88BF5-7041-4585-9BC2-02E057C4B6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"610caddca6b617d93154ad685d01566bd31c0314","datavalue":{"value":{"entity-type":"item","numeric-id":4002147,"id":"Q4002147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b1ec5f00f7c745dc42f55dc20b77bbe466a8de9","datavalue":{"value":{"amount":"+0.7630910277366638","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":"Q5184385$225AEFDD-048A-4FB0-8810-4B582BF4D63B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64f10ccaf18394684bbc5854738825c030821818","datavalue":{"value":{"entity-type":"item","numeric-id":3432595,"id":"Q3432595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2002cd82136fcd48709717659a191fa15ae6af7","datavalue":{"value":{"amount":"+0.7629733681678772","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":"Q5184385$CEB231A8-F37C-4FC9-BAB6-E01B8C72D709","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5184385","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5184385"}}}}}