{"entities":{"Q4530455":{"pageid":6560047,"ns":120,"title":"Item:Q4530455","lastrevid":47921701,"modified":"2026-01-03T02:26:54Z","type":"item","id":"Q4530455","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1748570"}},"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":"Q4530455$D6E35278-1D4F-403E-AE75-776B45DE1E0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9fc16f4a7ed0fb464fdbe03945e55c558738f27","datavalue":{"value":"0997.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530455$A04815A9-71CC-47F2-8CA3-16FAD4673184","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63095d86c000f08026b5823fdf1f8a25bfef2e00","datavalue":{"value":{"entity-type":"item","numeric-id":167057,"id":"Q167057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4530455$B65EE19F-71CB-4263-B339-C32ABC1D6FD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e46afdc2ba8b421b99618c98d29e4160d6699ffe","datavalue":{"value":{"entity-type":"item","numeric-id":1119560,"id":"Q1119560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4530455$1DC9AC4C-38E3-4D23-9D41-EDC91FFF0D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41eb43f669c6e9bd047f95552906672fa500745e","datavalue":{"value":{"entity-type":"item","numeric-id":1322771,"id":"Q1322771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4530455$C5399E82-EAEF-4E89-858E-C0B064FC0237","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89979698039692d8b30dd476805176a82a96347c","datavalue":{"value":{"time":"+2002-06-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4530455$B3647C67-6660-4C09-B425-54D7EFB28A30","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530455$4C8E98ED-F350-4F72-9FDC-CB4DEC6591CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530455$A06A97E9-7B79-4DB9-B47A-3D955B50E625","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19a0877427890b7fdca3a3a845d3dc5e8dd95878","datavalue":{"value":"1748570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4530455$AFB341A2-19E2-443D-8F29-C9E4DF733144","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530455$1EE04C14-B472-4B7C-842E-93C6C945F4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530455$A52E1063-3555-44A9-9955-90DBACA42857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcec466f29bac86724a6f68cbda2b87ff1504089","datavalue":{"value":"proof procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530455$FC287FD3-90B1-4040-959D-95AFC335D253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9852f9515683e785096490eb4e29b77de0151243","datavalue":{"value":"first-order connection methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530455$88696096-4517-43F6-9DD2-DB4B381A42C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c353546e8c4116e3cf680a8cb0bf95d08ddb5926","datavalue":{"value":"tableaux calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530455$CFF3AFFC-0908-4640-9AC4-C35B26245BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d797c28d9d320f1646925030807a259be33b78e","datavalue":{"value":"rigid variable methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q4530455$1D12AE91-DDA1-442C-AE71-BB2FFD90D27B","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":"Q4530455$2F57199F-D54A-4A6B-B7DC-7BEFF8090D89","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bddeecc505b945efff5bd70e19cbf4040757fcdd","datavalue":{"value":{"entity-type":"item","numeric-id":4263168,"id":"Q4263168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"079c6a14b7fc09847b04af6fb3f21e3c7aba5fad","datavalue":{"value":{"amount":"+0.9176628589630128","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":"Q4530455$1DC92936-92A5-4EBB-B548-9878B11DF36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b3d53cdeb7af6c2e18d05e04dd01bf075e959e9","datavalue":{"value":{"entity-type":"item","numeric-id":4412862,"id":"Q4412862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ff2df39e1672360489afb78a815cb64f0fe3e5a","datavalue":{"value":{"amount":"+0.8006030321121216","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":"Q4530455$8D1731D7-EDFA-4E6C-BABE-70513CC684FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d80adb814d2ae23706c09350c02e75fbeccc5f7","datavalue":{"value":{"entity-type":"item","numeric-id":3357560,"id":"Q3357560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ff2df39e1672360489afb78a815cb64f0fe3e5a","datavalue":{"value":{"amount":"+0.8006030321121216","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":"Q4530455$32C5BF6B-59EF-4664-922B-02EA29D152C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e41eae31321cb8f4d5091ef38abb8a9ca30ef670","datavalue":{"value":{"entity-type":"item","numeric-id":3010371,"id":"Q3010371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a527d989058b7a3d6d28ec609e810b75105b7ee3","datavalue":{"value":{"amount":"+0.7862680554389954","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":"Q4530455$87FD7FF6-C008-4DB4-9F3F-619AE46A96C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0248a02bdcd65163fe9b559e3498d6bb3ebc853","datavalue":{"value":{"entity-type":"item","numeric-id":3997615,"id":"Q3997615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58596ac7752cb6cfb79cbc66ac0d85472c7efb82","datavalue":{"value":{"amount":"+0.7839434146881104","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":"Q4530455$8250B23C-E598-46BF-AF4F-32F16543C7BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4530455","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4530455"}}}}}