{"entities":{"Q3738547":{"pageid":5768453,"ns":120,"title":"Item:Q3738547","lastrevid":50934653,"modified":"2026-01-15T19:59:00Z","type":"item","id":"Q3738547","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3972168"}},"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":"Q3738547$8514C623-A9DB-4CF6-A042-9E8F932248FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61686b4ee01c3c2ffe15b1107a12c856877fd9b3","datavalue":{"value":"0602.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3738547$41CD4386-3767-4F8F-BF53-9F99989D4C6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a230f70c8750c383f1c2f6051732dd11c72f444","datavalue":{"value":{"entity-type":"item","numeric-id":234705,"id":"Q234705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3738547$80A42139-1A64-4D79-BA77-F519B6734A4F","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":"Q3738547$4B022E0E-C33F-454E-BAE1-90F605754D58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3738547$7EE3D167-10AC-4B90-B358-3A799DAB91FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0b1f078ee652e3e3fc2f2a920166e1e9ac28b61","datavalue":{"value":"3972168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3738547$1B1C30B5-DA03-4B14-AC3E-4692144BEB97","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8ea708cdc569d913487b5456354d46aea5584e4","datavalue":{"value":"complete proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3738547$2A3D3963-76CA-46C7-8E99-04AED3809BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6befd59ce01eb8933ce27077b5d5ea677a5b8fe","datavalue":{"value":"initial models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3738547$65A200F5-6865-4C3A-92E1-73581A4CACB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cd753512fecb95445fc4480b0c8a09f9d42bad2","datavalue":{"value":"quasi-varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q3738547$3AB11400-56E9-4255-B4EC-ADA7B7604FDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87fe99ce7b6b99a122f026ac831fc997d295e18a","datavalue":{"value":"inequational logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3738547$3163715E-1D90-4078-B742-B7AF488061F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dad978e51657e36c6fdd48bf5090a300cc3f5d7a","datavalue":{"value":"induction rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3738547$F65A199E-C71C-4724-A94F-2768671E3058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc2ba3e3bad3e76e4fca7f632864d246185cc415","datavalue":{"value":"equivalences and inequalities of recursive programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3738547$886A690C-DCE7-4A10-A590-517FD8B3C5A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de8e12e3f6252f4cd026ee55f02e5ea22fde758e","datavalue":{"value":"IF-THEN-ELSE programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3738547$BAEE737C-B49F-4A69-A12A-65DB23DD0347","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":"Q3738547$453AFDB8-FF78-48CF-82A1-E17E78A55AF2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4b2b54105026127cd5103768fc696f0c67219f5","datavalue":{"value":{"entity-type":"item","numeric-id":3707343,"id":"Q3707343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a02669eff9ecc35ffe3ea919a24d9fa060d3a1fa","datavalue":{"value":{"amount":"+0.8217905163764954","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":"Q3738547$C557E3CF-E813-4E8A-BCED-7B9842EE0C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f676d9335ccba8c724966361f960736276b4c7c","datavalue":{"value":{"entity-type":"item","numeric-id":1346625,"id":"Q1346625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c0a8176454f53d44db0c1b4b443ece2aa7ed398","datavalue":{"value":{"amount":"+0.8118262887001038","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":"Q3738547$C94747FD-EE51-4AE2-B1F2-8C24A7296E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f12ae9b79fd8f47daaf661945c04e5a8c4c144e1","datavalue":{"value":{"entity-type":"item","numeric-id":4011708,"id":"Q4011708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8b04aacdbea21b5c9068339b240a670e0ee1127","datavalue":{"value":{"amount":"+0.8087084293365479","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":"Q3738547$F7D9F124-A828-40F0-974B-972107657691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac30f39c009e97890c5390b8a384fa445d56a765","datavalue":{"value":{"entity-type":"item","numeric-id":3777431,"id":"Q3777431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8b04aacdbea21b5c9068339b240a670e0ee1127","datavalue":{"value":{"amount":"+0.8087084293365479","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":"Q3738547$C6604001-C56E-4501-8C58-B52D6080EA84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"796c2f7fa0ad617d1c120fccc93754bc1a8c09c2","datavalue":{"value":{"entity-type":"item","numeric-id":3690806,"id":"Q3690806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c5d4d27023d138b562d408227561f0ca5c91208","datavalue":{"value":{"amount":"+0.7888451814651489","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":"Q3738547$F26D3B27-4F01-45DC-BA7B-E2C1721060C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3738547","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3738547"}}}}}