{"entities":{"Q4524783":{"pageid":6554375,"ns":120,"title":"Item:Q4524783","lastrevid":47558965,"modified":"2026-01-02T02:05:26Z","type":"item","id":"Q4524783","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1552523"}},"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":"Q4524783$31C05F85-77DF-4188-9A82-C9010BF3DEF4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bce2df713620dac573521db89ec58988bc0bedbe","datavalue":{"value":"0966.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4524783$A05EE2AA-2452-47C8-A7D6-99E98C3DB970","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"694292681c88a12d37193501c3fe878bb7f9ca78","datavalue":{"value":{"entity-type":"item","numeric-id":877887,"id":"Q877887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4524783$6FEEFACE-8544-48E5-BF9D-D9FC2E935929","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a43adefc0e2387468f62816a0a1cfc8a0f64a751","datavalue":{"value":{"time":"+2001-07-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":"Q4524783$C71B0635-4F17-4B66-9FA6-E372E2C9D756","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4524783$B1E0718D-0E19-4B60-968E-FBF0C7EDFCCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4524783$E148ED37-3EFC-4D7F-9F74-F3F63C8EE0C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10281e3cb46ebbc914bd49d8463ba07733276513","datavalue":{"value":"1552523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4524783$B96357A0-1BD1-488D-8B88-F0086F3AE45A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524783$F5C7595B-5C89-4C26-B733-8AB82FDAD4AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8d409549f0f9598a6ed04ad6d31077ac9271c","datavalue":{"value":"control structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524783$2EABB234-1FC5-4AFD-A53F-4E678345F260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b36f00d71c56e77d79dde339ed1cd537cf241d9","datavalue":{"value":"clausal tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524783$C31DA88A-98E1-4743-898F-932AD2F21B85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524783$572282E0-B12D-483A-BC1E-914B499C6215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef5cfaefae7240b857076a2c6c12c59644fa0a0","datavalue":{"value":"proof search methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524783$F61B568A-BCD5-403A-A268-1561708BA27A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"098925cca13caec604ae9347f1b8673ec619b16e","datavalue":{"value":"connection tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524783$9A796C5A-1C0D-423E-B7B8-63CEAE1C869F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40c6c7a8f8fa6abbe37de2df1c1f114a565d9335","datavalue":{"value":"search pruning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524783$6F200C6C-F2D6-4D96-ABA4-47BE107BB23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb91e6770e2f2c0f6bbc6acb0b87b130542124b9","datavalue":{"value":"structural restrictions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524783$C3B2D405-397C-48DF-961D-052621707C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"077fbe7daa20a531d71a2c6b73f84d6eea8444bf","datavalue":{"value":"inter-tableaux pruning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524783$F982FE54-84E7-4AF3-85F7-9CB71B0C87ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e210de2722a77020975e75c83c2eaba5a7f6066f","datavalue":{"value":"generalization of unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4524783$DFA22E79-3BCE-4E71-9360-037B2CEBB6B9","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":"Q4524783$43F896A9-F879-4A06-9B5A-553CC3F346C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6731c47dbf1c391e70bd87f294f63921f8bfd787","datavalue":{"value":{"entity-type":"item","numeric-id":2751354,"id":"Q2751354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ff6381e01c1d68422ff2270319b2b6d5d41a6f5","datavalue":{"value":{"amount":"+0.7910760045051575","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":"Q4524783$B85A616F-EE1B-4486-8607-DD5B0F812978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4b831efe4762ed863b6b406fbe78b5f5efccbf5","datavalue":{"value":{"entity-type":"item","numeric-id":4524782,"id":"Q4524782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f778f765e107fffb6b7cb327b4187ca2e24534e","datavalue":{"value":{"amount":"+0.7896981239318848","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":"Q4524783$9DA8B635-6142-450E-8AD6-16F81991E4C3","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":"4f778f765e107fffb6b7cb327b4187ca2e24534e","datavalue":{"value":{"amount":"+0.7896981239318848","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":"Q4524783$DDC0A14F-2878-4EF2-A9A3-6E0EE8C6AF98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49fe9acc119a1aa3bd8925b8cff7585045ddadb5","datavalue":{"value":{"entity-type":"item","numeric-id":2726292,"id":"Q2726292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59eeda336fba42e26c1a6c46917479901818f868","datavalue":{"value":{"amount":"+0.788716733455658","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":"Q4524783$8DF7D239-1AC5-4145-8C00-F5050F36BB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7373d13bb0ccae0f903a8d088fabf53943c32a4","datavalue":{"value":{"entity-type":"item","numeric-id":4524784,"id":"Q4524784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b533fcb6059bc3d7872d555d9559f1703625834","datavalue":{"value":{"amount":"+0.784618079662323","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":"Q4524783$603A8C35-31F5-40B5-B5A3-A88D596C40F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4524783","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4524783"}}}}}