{"entities":{"Q3785896":{"pageid":5815802,"ns":120,"title":"Item:Q3785896","lastrevid":52540310,"modified":"2026-01-22T22:17:01Z","type":"item","id":"Q3785896","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4049000"}},"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":"Q3785896$449E7A6A-5200-4373-AFDC-B856A2C9F292","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4065af0420f06d98f8093510ada5bf0916df0e73","datavalue":{"value":"0643.68007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3785896$513F444F-896F-48BA-B8AE-F5D10A8B7019","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":"Q3785896$B1D85627-0F02-4864-B553-AF29FE18A732","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3785896$C283E810-70B6-4CF5-B6A8-1DCCDD562303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3785896$7FEAA5E9-E106-4FA5-82AB-A994D15985C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3785896$685221F6-E85C-4319-A472-928CB54649FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cfe779e91fe9c53ee133568259955801965765ae","datavalue":{"value":"68T05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3785896$BB143592-DD34-4461-ADBD-13803D2F0433","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c7c7e3a1fdd8204009bde5608e37a2aa9c5f4b5","datavalue":{"value":"4049000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3785896$358FB541-01BF-4B73-BC8C-251A21471248","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df2db52a7243887f734f3533f390b79d7d369328","datavalue":{"value":"inductive inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q3785896$054DA384-778C-42A9-A21C-7B1DD0D54A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11c2f5e30c48eb26344449519ef5b5431d9b732e","datavalue":{"value":"automatic program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3785896$E3AA4A4A-E7B1-4801-97AB-964B82CF9DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b30712e43a4fea41ba192164e1ceb3f5bdbac0b","datavalue":{"value":"Church-Rosser specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3785896$8832DE87-5AC0-4836-8E7B-253C1713E6C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3785896$C5E8307E-295F-4994-AC1E-14D4BA32CEE3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73ca09573b38f6ed564128ef277973b37a0550eb","datavalue":{"value":{"entity-type":"item","numeric-id":672146,"id":"Q672146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3785896$845B5FD9-ADE9-463E-A4F2-9275D3B6F8B5","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":"Q3785896$699D477A-764F-46D9-BAA5-D08BD7286C4F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dcbfa10c51a9c70912e92adba6a0a76644b0d28","datavalue":{"value":{"entity-type":"item","numeric-id":3314967,"id":"Q3314967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5decb6a70efd959cfc9f04b3454f3ac268abeb13","datavalue":{"value":{"amount":"+0.7559497952461243","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":"Q3785896$26751F7D-61C1-4289-92D2-18F5D2E098AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d753f6bfc7c44fc387bd680cd39ba06f7595d377","datavalue":{"value":{"entity-type":"item","numeric-id":5111328,"id":"Q5111328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f86ec511efa52493dea751cc2b09126182081690","datavalue":{"value":{"amount":"+0.7426418662071228","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":"Q3785896$AFA950F6-5159-4AAB-AB2E-E27445A9EB03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0af0a64a02caf70ac14f7070bf11a7ab917c2140","datavalue":{"value":{"entity-type":"item","numeric-id":2915700,"id":"Q2915700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2001c5efbee10e2b95fc43f69ea5baea3cfa2b5","datavalue":{"value":{"amount":"+0.7424250841140747","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":"Q3785896$E2510117-6403-4547-986F-8AEDB5CDB39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0139eb0aedefeb3b4e0c8f051823b4306bceabd9","datavalue":{"value":{"entity-type":"item","numeric-id":5207050,"id":"Q5207050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94ca7c3f52a383752d247e3665ee70b5e8e82907","datavalue":{"value":{"amount":"+0.7405354380607605","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":"Q3785896$4D8BD09E-9FEB-419E-8399-941BF5F563F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bf0f16f9bd2a779f2f0fde3110857be40584aed","datavalue":{"value":{"entity-type":"item","numeric-id":1322836,"id":"Q1322836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec2d640d8b76a1b21a52287ae508fac03ae7afdf","datavalue":{"value":{"amount":"+0.7350432276725769","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":"Q3785896$C409348D-188D-4AB8-A376-56E5FB4FCEEE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3785896","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3785896"}}}}}