{"entities":{"Q4287482":{"pageid":6317083,"ns":120,"title":"Item:Q4287482","lastrevid":46315260,"modified":"2025-12-24T13:28:11Z","type":"item","id":"Q4287482","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 549963"}},"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":"Q4287482$2D2E9C5B-794E-4286-BC50-5F7209225D52","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"59e6c9891809e6ea69753b9f84a38f5d335f9b27","datavalue":{"value":"0797.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4287482$AFA3C1E2-38B5-456E-8401-6DB89A00BA64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eafab5754c8f1a34cc875f8bd104c69b91dfa4ae","datavalue":{"value":{"entity-type":"item","numeric-id":4281580,"id":"Q4281580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4287482$4DEC5A91-BFF1-4659-8099-5089824578D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51672651edbad47970e6ece29e7bebbdd7e8e8c5","datavalue":{"value":{"time":"+1994-10-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4287482$BF97B734-15C0-410E-B45D-EC3FF66CAA1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4287482$A3480CE5-7C80-4758-91CF-F4C4585C70DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4287482$3C2DD579-CBAB-470A-8DFB-0E3352DFF5DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40948c980a4fe96565be564327eefc606f663206","datavalue":{"value":"549963","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4287482$E35E1986-B406-4D73-A29A-487774EECC94","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62b2fc7f6d42b7fa0f14125a6732f60010d7581b","datavalue":{"value":"S-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4287482$A289523B-3005-4069-9C2E-D88D6DF32917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4287482$7A97AD0D-C3CA-46B3-B8C9-D9CF7D55C55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4287482$84BE165D-5F5B-45E6-9FCC-CCDAA7DB1E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5af5a0324adabca025658cd3b584e0a74da9441d","datavalue":{"value":"S-SLD-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4287482$6C98E0F8-D2E6-49FD-BEED-546BC362F103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aea0779d64402e9ad412843f297d7572b809911f","datavalue":{"value":"equational constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q4287482$6D4E5453-C5A5-4675-A710-CA914BCBD4C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4287482$E789B62B-C554-4436-97AD-82244A60471B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4287482$CBF11FFB-F976-41B1-B58F-164F4089EE49","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":"Q4287482$61308685-1C8D-4280-8789-FC21ACA8B611","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eddb30f11e4dbd88ea67372893395944cb7dacbf","datavalue":{"value":{"entity-type":"item","numeric-id":4858580,"id":"Q4858580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8340c7662e0964676bb4cec5aad294c97f9a499f","datavalue":{"value":{"amount":"+0.8122309446334839","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":"Q4287482$61448781-2AB7-497A-B4F2-B0A2443720B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c341bf1d3870c82e47645f91cdc493dbde7b6c2","datavalue":{"value":{"entity-type":"item","numeric-id":4856950,"id":"Q4856950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f00a617e666378ced85d5ab34c151a81f0f12259","datavalue":{"value":{"amount":"+0.7817168831825256","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":"Q4287482$62D388C4-5F9B-4B19-812C-0106BC92BC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6734a7a3c859621eb2d3a69933682cf7bf91d78","datavalue":{"value":{"entity-type":"item","numeric-id":1815857,"id":"Q1815857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04237a8838a1b7f720901bd810e988bb30be7743","datavalue":{"value":{"amount":"+0.7585932612419128","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":"Q4287482$A221D8E3-7652-4F00-946C-0487A0B969E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdad30fc9fe2f76be2a07aca54853a8ed9991148","datavalue":{"value":{"entity-type":"item","numeric-id":1097682,"id":"Q1097682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f334e2a47a12da6cc2895f2f7c36e2c283e8aa2","datavalue":{"value":{"amount":"+0.7569529414176941","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":"Q4287482$70D37838-82C5-45E0-B0B5-AA24BAB7CBB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4287482","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4287482"}}}}}