{"entities":{"Q5014056":{"pageid":7043633,"ns":120,"title":"Item:Q5014056","lastrevid":54167060,"modified":"2026-01-26T09:33:25Z","type":"item","id":"Q5014056","labels":{"en":{"language":"en","value":"Semantics for first-order superposition logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7438991"}},"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":"Q5014056$28C30406-3073-44F1-BD38-8CD18289B22C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fbe92436f7b8824c290958dd968d297a953f1a05","datavalue":{"value":{"text":"Semantics for first-order superposition logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5014056$1F9CF3CB-2A2A-4137-A961-740E29CC471C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8da8f011c751fd3a33af3f1d98ee4fa1df7fe79","datavalue":{"value":"1477.03105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014056$82A175D8-0FF6-4BD1-A643-A833DF175DC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f229160cda5c5550848d5e8f96f3c0c964b6e6c1","datavalue":{"value":{"entity-type":"item","numeric-id":175059,"id":"Q175059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014056$090FA952-16CB-46E8-9AAA-660A6B5D6A72","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014056$3E699953-7674-4415-B0C2-8D53DC528503","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7b96a758805bdeb47bb61cb1b2b3e6013568fae","datavalue":{"value":{"time":"+2021-12-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":"Q5014056$7A8B0C4D-1677-47C0-ACA0-609236D557BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014056$DEAF3709-7B21-4BDE-96A8-A1BC403D8147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014056$5CBE122B-AA77-4DEE-BB58-A2D28C7D1917","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1c40b0e95232b7a34782a8dab903dd402b750a9","datavalue":{"value":"7438991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014056$4BB6FE46-99FA-4810-80A0-045B36C6F33A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0067bc4c485945dc48e533298ab2637e80e41f3c","datavalue":{"value":"logic of superposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5014056$EA6AD22F-4523-493D-B054-456D62B07895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"974156e3db8d45d2c094ed70b8c7209c3641b3e1","datavalue":{"value":"choice function for pairs of sentences/formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5014056$067BA11C-0372-4DFD-B32F-611B01713ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d9fff90637e6461d18f489d8db65dc17e395857","datavalue":{"value":"sentence choice semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5014056$546C2A83-A38D-43AD-A081-8A508806A18D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d161db4f6de7833e8675f956871908ac8e2234ad","datavalue":{"value":"formula choice semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5014056$AC64C5F9-A662-424D-AC82-06BBF72A2A1E","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":"Q5014056$94980234-187D-4ACF-87A6-BA64E6F91F41","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0760f9f47c2891e04ce1469ca03bc3e947faa6e0","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzz019","type":"string"},"datatype":"url"},"type":"statement","id":"Q5014056$375012D2-C2C4-435F-BF45-7FFB89246B4C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c782914a922eb8f420c224ecf1666d3bb38c1337","datavalue":{"value":"W2945551973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014056$8683B2C0-591A-49EB-9074-C411F10F7AA0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed1b8e4a5773ea99434f25e8287836e5b50267e6","datavalue":{"value":"10.1093/JIGPAL/JZZ019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014056$2AD4BD9F-98A1-4AEF-A188-DB5051A372DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33a2b84b3a7fb301296d169f8968f8c2f37c771f","datavalue":{"value":{"entity-type":"item","numeric-id":4994023,"id":"Q4994023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74fc9d4f24fa0842d5391961c227161864dc8f0d","datavalue":{"value":{"amount":"+0.7985239624977112","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":"Q5014056$BD355DE8-1E1D-48A4-9EC1-23AFE23762C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99f604f7aa8c65381288f59d4306e077e3969c0d","datavalue":{"value":{"entity-type":"item","numeric-id":5384364,"id":"Q5384364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61df2a70d809bb5d594328c6e4792632d8fa0cd4","datavalue":{"value":{"amount":"+0.7570116519927979","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":"Q5014056$41ED3E6A-D799-4B47-9E55-8394CCECB6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac3d9387720d02a5f4c6be8cf1634bae6ddde0a2","datavalue":{"value":{"entity-type":"item","numeric-id":3540186,"id":"Q3540186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88989cae2febe2ab48b5812d1f2c9d3223294fa6","datavalue":{"value":{"amount":"+0.7275906801223755","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":"Q5014056$1CBEBD77-ACAB-489E-95EE-055A34AE2826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e4d62e777a9d8738c3c76352fa17d1d347af0c8","datavalue":{"value":{"entity-type":"item","numeric-id":2946615,"id":"Q2946615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c9e670c170c8fe4b6b19cd339a66931de04d6a2","datavalue":{"value":{"amount":"+0.7235999703407288","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":"Q5014056$E12AFFF6-3EAB-438A-829B-DEDDD2B0114E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"338faab03a6852bef0c51d702c61cd9ee8ecf151","datavalue":{"value":{"entity-type":"item","numeric-id":2055874,"id":"Q2055874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04f51d4b9aa72ca10316040c34419f1093c15aa7","datavalue":{"value":{"amount":"+0.7228236794471741","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":"Q5014056$E9A1C735-4F3E-44E7-B70A-79DACE574D59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5014056","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5014056"}}}}}