{"entities":{"Q3134859":{"pageid":3145575,"ns":120,"title":"Item:Q3134859","lastrevid":47189266,"modified":"2025-12-31T23:11:04Z","type":"item","id":"Q3134859","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417880"}},"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":"Q3134859$6EFC10B0-D262-4BD3-9256-86BA2C0CB818","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5dc705c96ac893a3f2ecbb79c6915b0989e82794","datavalue":{"value":"0781.68002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3134859$6EE08849-731C-4167-87E2-671319372375","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cd3521e9232251e81a2c922628bdab4edff3c317","datavalue":{"value":{"time":"+1993-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3134859$5953233B-A88E-4D68-8C17-6D5F86E91582","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3134859$F4A4333B-9EB8-4ADC-B2EC-20C5CFECD144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3134859$72133574-8DF2-4B69-81AD-D9831D325E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3134859$ADE1602C-B0E2-4709-961D-4FFAC7308462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3134859$586100F7-69A6-41CC-A929-1390C668FAD5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d39f94a452d2c161e01ef9e7bd5498d619b2814d","datavalue":{"value":"417880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3134859$1A6DE931-D0F5-495D-8E05-839D2405C342","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c39a3dcb919cfb7892b24ca37da2f18a4bcfe1c8","datavalue":{"value":"first order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3134859$655A9A6C-EACF-4AF0-8BD1-E79B456685C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc0b8d5175e2d725b80d69cc6c9ca39af08dbae0","datavalue":{"value":"deduction calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3134859$F7ED9CB4-4C15-46EA-90F5-4FB06564DCD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0f95fd7c491c2848966554299dc8d662766cabe","datavalue":{"value":"equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3134859$490796DB-9DD2-4964-8BF0-5E258EFB33FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a71fe6392c09db6db9e6773c3ed8aad99a981365","datavalue":{"value":"reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3134859$85252679-694B-4B3F-9A48-9E2CC0533DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3134859$DFA72A09-F805-4954-B34D-9B3225037EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3134859$3E0915FE-471E-4EFE-ADEF-F35819A13523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3134859$E12F8AFA-E974-4DA1-AA30-39C9E8D44F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b97b327acd29bc543e319ce1a45374500e4b98f","datavalue":{"value":"mathematical induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3134859$82BC895E-D1F6-4682-A78C-0ABFC29142A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01873808ed420453ae082d7e18447e172733687b","datavalue":{"value":"higher order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3134859$B01FCDA6-4A95-486F-88CD-A3D0A0FF9699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3134859$DF4DC741-6728-461C-81D1-80B84B7D671E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bde95d48e71252335def28166702d31b6ebbaa18","datavalue":{"value":"modal and temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3134859$1AB2F90F-989A-4B9F-ABD3-438406F6587E","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":"Q3134859$4761F26E-CB49-4DEA-B9AA-A0B94920A258","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3317123e5c3251d222b5f976bdb77838accc61e9","datavalue":{"value":{"entity-type":"item","numeric-id":3995436,"id":"Q3995436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a29c72472f4ae08e881daacceafdce25031df27","datavalue":{"value":{"amount":"+0.8614839315414429","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":"Q3134859$C1EFA99D-D337-4BBC-B06A-78F1B9645B7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60e6e60bf37f84724ccf90df04b54d320419b88c","datavalue":{"value":{"entity-type":"item","numeric-id":3992431,"id":"Q3992431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0ebe401e6e20e1d50417df803de59aef0bb5282","datavalue":{"value":{"amount":"+0.8511264324188232","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":"Q3134859$3162B805-2313-451C-9FFC-9E2883A85DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df4b0d16db5f218d4ee065f1f1897c47e139fa49","datavalue":{"value":{"entity-type":"item","numeric-id":3998281,"id":"Q3998281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bfba4beffbde9bd2dc192e5e777a89021a7257d","datavalue":{"value":{"amount":"+0.8493836522102356","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":"Q3134859$76C4340B-3C58-413C-84E6-D7AD4D7EA9EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b822606285ce070526363a622a7dc5d21e1e548","datavalue":{"value":{"entity-type":"item","numeric-id":4331757,"id":"Q4331757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f3039583cd2d23e3c6b8d064124133f73b8d475","datavalue":{"value":{"amount":"+0.8357530236244202","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":"Q3134859$CB650236-A1F4-46EB-BAEC-D4C891E721B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7c7206706f5c441b76706999383c5a1494df06f","datavalue":{"value":{"entity-type":"item","numeric-id":3134856,"id":"Q3134856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f3039583cd2d23e3c6b8d064124133f73b8d475","datavalue":{"value":{"amount":"+0.8357530236244202","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":"Q3134859$F01D356A-6631-4260-B43C-56EF764D4328","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3134859","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3134859"}}}}}