{"entities":{"Q1816284":{"pageid":1827026,"ns":120,"title":"Item:Q1816284","lastrevid":70905681,"modified":"2026-04-13T18:08:42Z","type":"item","id":"Q1816284","labels":{"en":{"language":"en","value":"Initial semantics of logic specifications with negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 949047"}},"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":"Q1816284$CFDCA090-0A56-44B8-BD52-6DF9CBF18304","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13ffabd13e50dd21a3aec2ecbe3d727fb88c5463","datavalue":{"value":{"text":"Initial semantics of logic specifications with negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1816284$80B464DF-D9C1-4C26-AA39-6F655EF4EBED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4bf5afdf36d5d0fcf95cd93158638e576d0fe33","datavalue":{"value":"0875.68242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816284$15327A79-A1C7-4CF5-A171-D2EA40F7539F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0771b65afbad99c67cf2acd16d8ee0597a026485","datavalue":{"value":"10.1007/BF01124982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816284$D68C90BA-071A-40EB-A9B0-A8860D8A684F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da547318c9c3df0bf64c8343721b0d0975d64c2f","datavalue":{"value":{"entity-type":"item","numeric-id":1290694,"id":"Q1290694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816284$03754D74-A374-4028-844D-D3C4177D0137","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816284$8F4E0045-724F-4C3B-9552-A8DC69797D06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c3c5b33befbe2f43a6f5872dffca9bfd563ef1e0","datavalue":{"value":{"time":"+1997-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1816284$C6490A05-0401-4B75-8A67-DB2FE2ABC0F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816284$51810195-F7C6-4FA2-976F-7B726FB73D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816284$40719B9B-42BA-4FE1-AD1F-64673EE8267F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816284$48C0182D-959C-42D1-A482-BA15812547E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df1b9595b919f6c87754e8605edb81d6f8f7d35c","datavalue":{"value":"949047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816284$62EAE236-1865-41BE-836A-7E5A0955B954","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"017b09619e648d42f88d6aeab76471f5a0b02cec","datavalue":{"value":"initial semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1816284$08379589-8F40-4E92-8687-9CF95C80EE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9472583b24e5ed67fb71263b8272138d6a29f6f","datavalue":{"value":"logic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1816284$2CF06FCA-2873-42BA-BFF6-DC31EF259DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec74096f224962eed659f93c89861b56a6ca1651","datavalue":{"value":"negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1816284$9104A26A-9CD4-4AA1-8132-0FED240EF2B3","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":"Q1816284$86D84DEA-AA00-4BD8-AB50-9688C287E89B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f008f03ee44b4aba994d0c96efee598a52f4fc95","datavalue":{"value":{"entity-type":"item","numeric-id":3790610,"id":"Q3790610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816284$1A634177-278E-4C2E-A076-0FB1C9E42F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ebfa109c62102ad5f515a185ff2edf66be95fe","datavalue":{"value":{"entity-type":"item","numeric-id":5753510,"id":"Q5753510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816284$A0096486-88A5-48EE-903E-DFFAD96EACE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02a8f5ca257597984bc40adebcc761ca0d5d76ae","datavalue":{"value":{"entity-type":"item","numeric-id":1156472,"id":"Q1156472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816284$9660B21D-F7F1-4A0D-9853-E32CD9E04091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a758190ac23ff7b3dba8858d2a10f4c2ab5bf229","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816284$4D9B70D1-27BD-493C-B1B9-EF568E8A2189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b203876e6f57846e7be2f311a2634bd3555df6","datavalue":{"value":{"entity-type":"item","numeric-id":1075752,"id":"Q1075752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816284$F1AD2F79-647E-4691-80B2-1DF9A8D195C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5c6474bacb3c75f75079f3a2b88f61363056515","datavalue":{"value":"https://doi.org/10.1007/bf01124982","type":"string"},"datatype":"url"},"type":"statement","id":"Q1816284$4C7FDEB7-6881-466D-B137-AA633C7372DA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"680576dee70220883494ecc95522ad2c27701741","datavalue":{"value":"W2057474669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816284$A1217925-A234-43FC-B62A-B0BAAC80AB2B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0db3767dd3b86959cd3f94f9988803d9ce1d0594","datavalue":{"value":{"entity-type":"item","numeric-id":3835443,"id":"Q3835443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0464b4f014873cebf80008ffbf8e124c9f9fa3bc","datavalue":{"value":{"amount":"+0.788064181804657","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":"Q1816284$7E7BB7AF-81F9-4547-A562-B369C64128FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5467111328fd38d6c5507da63660cb60fb888554","datavalue":{"value":{"entity-type":"item","numeric-id":2767056,"id":"Q2767056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"635bcfac7f02d4e52c03c1968a3aa9d1eea2effb","datavalue":{"value":{"amount":"+0.7729693651199341","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":"Q1816284$0F6409BB-02B5-4AC0-891A-B2B2B8531683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b944b9b2221a55c4465dc13dd8e82114f861bd9e","datavalue":{"value":{"entity-type":"item","numeric-id":5457687,"id":"Q5457687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cd363cd50f802e6e2c9b4e86a6f5ad25c0bd471","datavalue":{"value":{"amount":"+0.7692834138870239","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":"Q1816284$403B7CD7-5493-4F27-8708-C159C0DBD805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2103e45fe1a113f2ddc8f20cdca4358850cef685","datavalue":{"value":{"entity-type":"item","numeric-id":5176547,"id":"Q5176547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6dc823d1e1bd60e1763b3cd989ec7286b385cbf","datavalue":{"value":{"amount":"+0.755614161491394","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":"Q1816284$DF07D693-0B35-4AD1-89FD-5B702D622F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16185d9dc59c298034be5a201f6d0b6f61bc7f79","datavalue":{"value":{"entity-type":"item","numeric-id":673181,"id":"Q673181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb2c9a46562a28d9eca751a589b178420f7f37f5","datavalue":{"value":{"amount":"+0.7473813891410828","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":"Q1816284$669069A3-B829-4D02-ABFE-1E5160F0D6AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Initial semantics of logic specifications with negation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Initial_semantics_of_logic_specifications_with_negation"}}}}}