{"entities":{"Q4933325":{"pageid":6962907,"ns":120,"title":"Item:Q4933325","lastrevid":51101804,"modified":"2026-01-16T16:33:36Z","type":"item","id":"Q4933325","labels":{"en":{"language":"en","value":"Labelled unit superposition calculi for instantiation-based reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5798915"}},"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":"Q4933325$AC811F28-30B7-4383-8CC3-0D56263F6400","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97eade9250f051d4162e57417cf389e17b79c66b","datavalue":{"value":{"text":"Labelled Unit Superposition Calculi for Instantiation-Based Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4933325$0DCB7659-FCB0-4D81-8DC5-B7B75EE5FD43","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d58ba795cde807d3831ce860ec30c336896ac67","datavalue":{"value":"1306.68192","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933325$6886DC26-78CB-4A70-B885-99729F4303F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a00b155d19a7c0ff83421ccd8d73d196da894ad0","datavalue":{"value":"10.1007/978-3-642-16242-8_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933325$C610CF20-AF27-44CF-9B31-B1051DE071DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce9e1735095a7237c0c699c31f4c0eb57566d709","datavalue":{"value":{"entity-type":"item","numeric-id":1401931,"id":"Q1401931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933325$575A25B4-E991-4CF9-A5EB-500FF0530573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"789b4861f65a07830a1cc39e2d392c6f0d54926c","datavalue":{"value":{"entity-type":"item","numeric-id":2908492,"id":"Q2908492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933325$9256E1EA-FEC8-49B9-8781-AC582F9DA1F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4933325$FAC3B401-0AB8-4B31-B6C7-959808F03CB3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8268186a71ffa78cd296b9bac558860fe9e35f3f","datavalue":{"value":{"time":"+2010-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4933325$B79B6EE3-6D77-49BE-B52E-9009EC0DDFA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933325$763E32A7-F65F-4F41-9746-5F677F34C214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933325$4EA8E2EA-AB19-4C3C-9193-92DCE0D7B2A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933325$19532917-A647-45BD-9A78-EC16612EA9AD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eca998b7f800515a4490d11af2a285cc027a0bd8","datavalue":{"value":"5798915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933325$BF7B0537-71BA-418D-92A3-D12DDB78445B","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":"Q4933325$C847EB8A-6623-4307-BF69-F9B6884A4C98","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90c9297aafc003d846d6703dbb038b81a375adf9","datavalue":{"value":"https://doi.org/10.1007/978-3-642-16242-8_33","type":"string"},"datatype":"url"},"type":"statement","id":"Q4933325$5607454F-F3D1-46C8-AAA6-F921D1DE0E6F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e90b0b8c47e40d4e8e51b955764bcb4870451d47","datavalue":{"value":"W1508989423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4933325$57C4BEEE-5A71-4933-B8B7-039074CEA850","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afb894dc8eab22398caf3bbbbff59981daa6bce8","datavalue":{"value":{"entity-type":"item","numeric-id":4916080,"id":"Q4916080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df21df53a74c8001643541e973089be87399ca3a","datavalue":{"value":{"amount":"+0.7940823435783386","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":"Q4933325$A905EC3C-D30F-4545-AC4B-B7D74104EC20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f6652699d6230149600104f6166091d8338b2df","datavalue":{"value":{"entity-type":"item","numeric-id":5747761,"id":"Q5747761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bd420ea51d077c9549b81cfbaf4817b77ffcc47","datavalue":{"value":{"amount":"+0.7618335485458374","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":"Q4933325$B1810972-B22C-4F33-A3B8-17396BE6FCC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fa5821d5bc9687fe29222b473d9339797d836dc","datavalue":{"value":{"entity-type":"item","numeric-id":5311286,"id":"Q5311286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fd7c90ce30291fc799ef04298c01608cd931576","datavalue":{"value":{"amount":"+0.721418559551239","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":"Q4933325$2302C1AB-A9E6-4169-A925-FA696F0E3A36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"427b0915717ec29ee5bbd1791bbf402a73dd8d5e","datavalue":{"value":{"entity-type":"item","numeric-id":1037396,"id":"Q1037396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75b3d940c35138273a01e9185b1677591aa88ef1","datavalue":{"value":{"amount":"+0.7196617722511292","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":"Q4933325$E1C1A31C-9B73-4E36-9749-53278866ABF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f85415bc5243ca4fb021999aff0a144e42ebf84","datavalue":{"value":{"entity-type":"item","numeric-id":3541709,"id":"Q3541709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a09230679a2525d31dbd89c14ac2fcb808f89f48","datavalue":{"value":{"amount":"+0.7094078063964844","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":"Q4933325$C5322B52-2717-4E45-9CA4-0C5495325B35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4933325","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4933325"}}}}}