{"entities":{"Q4520770":{"pageid":6550363,"ns":120,"title":"Item:Q4520770","lastrevid":47548102,"modified":"2026-01-02T01:22:32Z","type":"item","id":"Q4520770","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1543303"}},"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":"Q4520770$0AD282F0-1395-4F32-BBD7-D5463FDF5ED4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"888c600b1437b7f7bafad1c368e4b8b3279bc06f","datavalue":{"value":"0961.68119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4520770$361E5203-F576-43E1-AD2D-E3986B17A983","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85c5753c1bade119a92fcd653f8b775d373f1721","datavalue":{"value":{"entity-type":"item","numeric-id":524932,"id":"Q524932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4520770$A3DF092A-8707-4380-84DE-BC912B97D310","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8d02d8cc00f12eca67af7a2b878da9d104452f1b","datavalue":{"value":{"time":"+2001-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4520770$3D017D1B-4901-4224-8F26-86D8B8914EB4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56d77abb67b6665f99d9753ec2968bba222a2258","datavalue":{"value":"http://www.jucs.org/jucs_5_3/loop_detection_in_hyper","type":"string"},"datatype":"url"},"type":"statement","id":"Q4520770$EA59DAEB-AE1D-4194-BFC8-F10A12B211FA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4520770$E045C910-F508-467F-9053-785B70B63FBF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a3339966eae1023b70c0ddce484953159ef8aea","datavalue":{"value":"1543303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4520770$30C17C02-3B2C-4520-9FED-42644EDF028A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"273604acb53ea6a4e3de23d5bd889f3178a940a5","datavalue":{"value":"automated reasoning systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4520770$16DD487F-CD77-43D6-9D14-8F1DC7E48021","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e88a3df1c34a8757c1a38c143a642acca5b1a9f","datavalue":{"value":"tableau-based theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4520770$CF8ED2C3-22DB-43FD-B4FF-B05F7D43D659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57874edeb1a8d92efa1fa31b93fbd968ea8af7d7","datavalue":{"value":"model generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4520770$660575CF-FF5D-4B79-90F5-2B6C28C9B767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b98d56090ea08427d6b377b88d0aac6ffafff19","datavalue":{"value":"integrates computer","type":"string"},"datatype":"string"},"type":"statement","id":"Q4520770$6FD4009B-CD39-4FE7-A30A-248664700963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea6d7d1cc62e7762466369f2e0d6deb864353fa0","datavalue":{"value":"algebra system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4520770$5B4E04FC-57A6-4E68-B5AC-9F7707C83B0B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c52067912b0b36fecbbb51adf44957c3c2a0bee","datavalue":{"value":{"entity-type":"item","numeric-id":18797,"id":"Q18797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4520770$8D72B6AE-47E5-4267-B14F-00B192B8F558","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":"Q4520770$13515404-74CF-417C-9C3A-493BD2E92B4C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b8536a3e17f2a494be1ecf93d3a1e7c672768e8","datavalue":{"value":{"entity-type":"item","numeric-id":5235250,"id":"Q5235250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d92ff596b3b897e39f786f39f5c9d1a77f9ff568","datavalue":{"value":{"amount":"+0.7225419282913208","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":"Q4520770$3B53EEFF-B573-4F8F-81DF-AD7A85839455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"702f614d3b1cf6db6263643d534e27ad9308dbcc","datavalue":{"value":{"entity-type":"item","numeric-id":5475621,"id":"Q5475621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1df01bc061df7fbe163079e3e1bf6e5d6652efd6","datavalue":{"value":{"amount":"+0.721523642539978","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":"Q4520770$8E909254-87EB-4056-BC28-9863F4B1D407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"875b8766515749ead4485aba9eb213bb8facf096","datavalue":{"value":{"entity-type":"item","numeric-id":3838803,"id":"Q3838803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e49641af3e5b50ed8f281cad8a1f671e2429b396","datavalue":{"value":{"amount":"+0.7163693308830261","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":"Q4520770$313B1882-B44E-4DBD-B685-844BD17B7073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc81a6f30bea8e28f0da30a991f272eca7dabe41","datavalue":{"value":{"entity-type":"item","numeric-id":3608795,"id":"Q3608795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e49641af3e5b50ed8f281cad8a1f671e2429b396","datavalue":{"value":{"amount":"+0.7163693308830261","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":"Q4520770$2D37F9DC-CC3F-4A46-8BE0-C94B7298BF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5936ca478fbfed14b97e526d9b14890522382e0c","datavalue":{"value":{"entity-type":"item","numeric-id":5851149,"id":"Q5851149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"111c0dd93034905f5adedea7549027fbae4b8a42","datavalue":{"value":{"amount":"+0.7149809002876282","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":"Q4520770$3AF288B2-7E01-455A-8BCD-EF3F13893615","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4520770","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4520770"}}}}}