{"entities":{"Q5202982":{"pageid":7232553,"ns":120,"title":"Item:Q5202982","lastrevid":49491424,"modified":"2026-01-07T07:17:15Z","type":"item","id":"Q5202982","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4197947"}},"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":"Q5202982$4CCA7A86-7C33-4023-AAA5-A9A732B928A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c0621718acdb9b2ccdee3b39abb2cd996327829d","datavalue":{"value":"0726.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202982$1EC52DA7-A6A1-40C4-8E3F-FF055FC69740","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6077867d403617e1219be9e95db980d6bfd5c945","datavalue":{"value":{"entity-type":"item","numeric-id":3665078,"id":"Q3665078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5202982$0C28B4ED-952D-4BDA-85F7-528EA7EBEE3F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q5202982$1D71AD1C-6E5C-402E-B012-B1EC10F9EBC8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202982$19F39C56-61AB-45F3-AA55-E70A7C8B8E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202982$C0CB9ECB-C3C9-492E-BF24-80716D5C010E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202982$C1879D40-6010-4F51-83DC-4AC5FF0A7528","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55638091fabe7475efa471c05773f3af05b4dcd3","datavalue":{"value":"4197947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202982$1695A260-BA0D-42B8-B19C-D4198D07E3E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202982$FCDE35AE-1056-40E4-956C-33E4334CDB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dad978e51657e36c6fdd48bf5090a300cc3f5d7a","datavalue":{"value":"induction rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202982$BDECB579-FB50-4713-AED1-4C77F278E7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71faedac4a7b7dd7ce0b6707262d6209d4b8b3a0","datavalue":{"value":"linear temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202982$9D57D9A9-4FE0-4E18-B403-8085173EA082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65c90bf4d59dc5f157bfc4eb4e31a367578dd612","datavalue":{"value":"analytic cut rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202982$C7142462-C307-4F2B-999F-471D767508BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d6ea9861ca2a828101806f0e2127e3426f7dc49","datavalue":{"value":"nonclausal resolution rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202982$1284BE10-BAC7-4BC2-91A0-3B087E5085D9","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":"Q5202982$9C24B64F-7C89-48EA-BA85-17D2D87E3454","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0213266c99bd1271365493300d6d7438a5d45490","datavalue":{"value":{"entity-type":"item","numeric-id":3682464,"id":"Q3682464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a421ed9fbd54dd976a1198a39bd684b12b911741","datavalue":{"value":{"amount":"+0.8342228531837463","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":"Q5202982$81B45543-D43E-469C-B949-41068C791EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0678c8baf9c876545b77d473b06988a25fb5c817","datavalue":{"value":{"entity-type":"item","numeric-id":5738910,"id":"Q5738910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"323592c9ffce7da57762bfe06ad4223859d86703","datavalue":{"value":{"amount":"+0.8166180849075317","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":"Q5202982$9393D34F-C056-4E00-80CC-45D55B9827D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8674a4fc00a703afc442c8e1c15c8b2d1c36549e","datavalue":{"value":{"entity-type":"item","numeric-id":3741614,"id":"Q3741614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c54b5cdd149118d8f3d05717bf9657aa3befa3f6","datavalue":{"value":{"amount":"+0.8122621178627014","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":"Q5202982$12EFA5F9-4061-4013-AE84-E45B12F3CD5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5225452bae2904b4a8fe5f33e86f9216d0ae06a2","datavalue":{"value":{"entity-type":"item","numeric-id":4012170,"id":"Q4012170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a22914254659342d9def13efa35bbd4a6c91aea7","datavalue":{"value":{"amount":"+0.8054417967796326","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":"Q5202982$883390C8-CB8E-4D65-843D-5B1B43DF544D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4be3f39e228ac8e1655e831f1223a5fe918b0808","datavalue":{"value":{"entity-type":"item","numeric-id":4412853,"id":"Q4412853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1845bf9b9e77e7d95048ea653e28aab38d3ccf3e","datavalue":{"value":{"amount":"+0.8031449317932129","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":"Q5202982$0B9F3D73-E381-4EE1-B930-3E90EEC3446D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5202982","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5202982"}}}}}