{"entities":{"Q3532481":{"pageid":5562385,"ns":120,"title":"Item:Q3532481","lastrevid":50481353,"modified":"2026-01-14T04:14:49Z","type":"item","id":"Q3532481","labels":{"en":{"language":"en","value":"Literal Projection for First-Order Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5357968"}},"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":"Q3532481$B4844FE4-4537-4F95-9FE0-93278A8F65D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07912afb1c4b168768b9a4d2bd1a03e03b3c54aa","datavalue":{"value":{"text":"Literal Projection for First-Order Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3532481$2C87B32D-3CDE-4364-8E73-FBF29626810C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2797c0e2a9b4660735413b265f9e6a311947802d","datavalue":{"value":"1178.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532481$6785CAF3-5A77-4A0A-8158-595071F3DB4C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a55393582a84deec498220ddedd8cee728a1c4fa","datavalue":{"value":"10.1007/978-3-540-87803-2_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532481$2036730A-C349-4511-827D-F5E7EFFF47CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3313867e180f61d15d3300f2a46593d6b3819e03","datavalue":{"value":{"entity-type":"item","numeric-id":429593,"id":"Q429593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532481$B2516BAF-3D7B-4276-BF18-FAD24E2EF67F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f243a6673bd9cf7abffff5d921f26c940b2015b3","datavalue":{"value":{"entity-type":"item","numeric-id":2835857,"id":"Q2835857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532481$5C85142A-58C3-4CC3-83E0-806FF61884F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6a7a73594519f73ca64bd2ca3d2516aec27193c","datavalue":{"value":{"time":"+2008-10-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":"Q3532481$558610CF-6C17-495A-A6FF-C5B98551B682","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532481$CC0C5607-8987-41C7-82C7-04F32F88CCF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532481$AF34BA3E-C3FF-40B1-B7FF-2A600984C98D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532481$23CA99C9-B891-4DBD-B22C-731AE26B25D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"837ac9d4a630e3b1924107326951a14b48dc23f9","datavalue":{"value":"5357968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532481$50C29BEC-1F06-4AE6-A6F6-9F89131A6469","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"484f589bd857c6ecd5604196ba88033adb11a795","datavalue":{"value":{"entity-type":"item","numeric-id":15128,"id":"Q15128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3532481$FE2FEA74-7CAF-430F-87DD-759BBA728B32","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":"Q3532481$2727E313-109C-42D0-B22B-B0A93F0D3C44","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8b8951a253f8436edde5e123a7aa198d06b52c8","datavalue":{"value":"https://doi.org/10.1007/978-3-540-87803-2_32","type":"string"},"datatype":"url"},"type":"statement","id":"Q3532481$B012E7C9-EE61-4771-B97A-C51BC6C8CB32","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce9f66ac61aa9e316b4dae7fd9fd8e251b4845eb","datavalue":{"value":"W1750039770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3532481$CD9BED22-EA02-40F7-9732-AE3AE2740784","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e57c9065cac31b329a90e4d715ad199faee7b42","datavalue":{"value":{"entity-type":"item","numeric-id":3570083,"id":"Q3570083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9158df0cc82816bd385a838fd96f0219779413c6","datavalue":{"value":{"amount":"+0.7999523878097534","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":"Q3532481$594F3E18-8182-4B04-8D23-A1F4D3AD3DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"433c940193c7d4ca81c70f416319edd3702e916d","datavalue":{"value":{"entity-type":"item","numeric-id":1309900,"id":"Q1309900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"690917397742eead3a96a90b327a352666fe789e","datavalue":{"value":{"amount":"+0.786187469959259","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":"Q3532481$98AD3066-17D5-459A-B0B0-F7DD9E236256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a57d1d5e58d39857292a10d265ff5b7c562d007","datavalue":{"value":{"entity-type":"item","numeric-id":3648738,"id":"Q3648738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d82f41c4fd5d2c42a030ac0ab23a7c358076d5b","datavalue":{"value":{"amount":"+0.7704096436500549","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":"Q3532481$63628342-2850-4896-BF30-50FE4B40454C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3dc8318726a1951503f698ca413c8df3f8be854","datavalue":{"value":{"entity-type":"item","numeric-id":429594,"id":"Q429594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96fbc7a2fa51d4aa33092fdd1c8d47c18660a8c7","datavalue":{"value":{"amount":"+0.7238441109657288","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":"Q3532481$A2EC0BC0-94F1-4CF0-87A7-5C01C4AE509E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"899060a3527769911cc60a8b1b35b775c205b96d","datavalue":{"value":{"entity-type":"item","numeric-id":5431427,"id":"Q5431427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03a11fad9702a6ea0a21525869bf56f838dcb1b4","datavalue":{"value":{"amount":"+0.71991366147995","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":"Q3532481$7FCE19AA-D2EE-412C-A873-958FD8D18D2D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3532481","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3532481"}}}}}