{"entities":{"Q3201764":{"pageid":3212472,"ns":120,"title":"Item:Q3201764","lastrevid":49444672,"modified":"2026-01-07T04:17:18Z","type":"item","id":"Q3201764","labels":{"en":{"language":"en","value":"On the relationship between CWA, minimal model, and minimal herbrand model semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4178787"}},"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":"Q3201764$7AB78AFE-C845-41A1-B12B-972276203295","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f2d5ebf12bdeba8b3ead830956aff9a0da0553a","datavalue":{"value":{"text":"On the relationship between CWA, minimal model, and minimal herbrand model semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3201764$5C8414BA-2CF7-4191-BF86-493FA990A301","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82533169ac5932bc2a99ffca233c2e2782d1831c","datavalue":{"value":"0715.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201764$34F11A2D-6F37-42E9-9972-F4DA7C7855DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1de9ab6ca7795687018ff9b573905e2cb8e2ebe2","datavalue":{"value":{"entity-type":"item","numeric-id":1097726,"id":"Q1097726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201764$C5888D12-8B20-4470-BA31-9BE6DBF58EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a55e7992ba2325dc2605c0f3257a8c929f491b6","datavalue":{"value":{"entity-type":"item","numeric-id":543581,"id":"Q543581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201764$F6C81615-5640-45D9-9FFC-7CD9721E9D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d0063046879a465ee73c49bedfbe8edc6b62b6d","datavalue":{"value":{"entity-type":"item","numeric-id":1167444,"id":"Q1167444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201764$E7F960AA-C616-456A-B459-B734ECEF9DAC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2a692c5fbd47d4547f3c7fcd5eafb312e8a8e095","datavalue":{"value":{"entity-type":"item","numeric-id":107479,"id":"Q107479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201764$BB449A33-E81C-4B06-BFA1-836AD5C6C95A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3201764$F96C6784-216A-4A15-995B-BA7914C777F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201764$F1484BD0-4AA8-4B65-AC8E-975B217E4086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201764$1290D1CB-C774-418F-85CF-BE8DDAF412CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01841e860617e53bb5077ee60d998bfde8640696","datavalue":{"value":"4178787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201764$9E4D53E3-7FB6-4155-A297-99324F364D14","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c62740c210d3370c1e9141dbaa4ccadb77945439","datavalue":{"value":"nonmonotonic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3201764$DAAE5E0A-3AF2-4C32-B55D-85758836BA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"903e33f82dfc22825b55216318496ae384d85c47","datavalue":{"value":"closed world assumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q3201764$B16AF189-0CD2-4022-9879-2EBCB5DBDB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a75cd8f33187a112545b10752b14195d8c4c0169","datavalue":{"value":"minimal model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3201764$0122AD1D-AA43-466F-BBE9-163272DE97C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b173c5915ed43d6836c79916f731bfbda1ca7bd","datavalue":{"value":"minimal Herbrand model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3201764$D151FA2F-1B9B-43B3-973F-EC32BBB048A2","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":"Q3201764$15FCC6D3-FAFA-4181-9148-77E7AA1BE930","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"563aa3c257aee636361ea3a4defa111aa9c5e064","datavalue":{"value":"https://doi.org/10.1002/int.4550050507","type":"string"},"datatype":"url"},"type":"statement","id":"Q3201764$C3726E51-627F-4B1C-A1C7-C55A9416FFC4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed5d624043c7830b63c149642cb305ea4f1cf4bb","datavalue":{"value":"W2090073472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201764$979FC226-C9F4-42E7-9BFE-1BD46E09C366","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"acf623f1a7ea86f826c62939187b8825feb38fd6","datavalue":{"value":{"entity-type":"item","numeric-id":3787425,"id":"Q3787425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201764$B8B31280-0E18-4496-87BD-C7F0E0B41E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201764$D87FEBE8-B77E-412C-A74E-A6FB2D847C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3201764$72974010-0F3F-4ACA-B362-1AB87B7E2277","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"960739354eee79afa01bd03679fb4c1c369e56d1","datavalue":{"value":"10.1002/INT.4550050507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3201764$C18A98F2-610C-42FA-86A2-2E4247CEF7B7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c113b93e622ab88a64fde1e4d74c0bac76578050","datavalue":{"value":{"entity-type":"item","numeric-id":1311412,"id":"Q1311412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8574fa257081d508f424f85081d56828df9b2018","datavalue":{"value":{"amount":"+0.8011908531188965","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":"Q3201764$48560B1D-0C64-484E-9368-29B8F23CDEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db5da7f818dbdb703e5711f7af717befa3fbc2df","datavalue":{"value":{"entity-type":"item","numeric-id":1123011,"id":"Q1123011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba14e5a08505473e75056650552aee294df85782","datavalue":{"value":{"amount":"+0.7991799116134644","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":"Q3201764$58C5291F-E945-4C31-B92E-BF2174155A6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b9ee8a831a25cf96d6631ee05fd92205c0c481e","datavalue":{"value":{"entity-type":"item","numeric-id":1584999,"id":"Q1584999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1858e0d7862742742c83f4e5a78282c0788584d0","datavalue":{"value":{"amount":"+0.7971636652946472","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":"Q3201764$1ADD0296-C6E8-4FAD-B73F-EDB9413E6404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2199658794db55e2d1aae133ebfb8c9ede8aed3e","datavalue":{"value":{"entity-type":"item","numeric-id":1060864,"id":"Q1060864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f78ae2137d2d3dbf5bc75e6c9bf50d8fd671aa5","datavalue":{"value":{"amount":"+0.7818388938903809","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":"Q3201764$9BFC8C08-C0E3-47DF-B576-4C7ACBF3DDA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f0e5fab22f1af68b9cd81ea1012df7a1e121a72","datavalue":{"value":{"entity-type":"item","numeric-id":4295825,"id":"Q4295825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42868a74d739a4f0394514a6779c60660b35e6c6","datavalue":{"value":{"amount":"+0.7737299799919128","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":"Q3201764$A4554033-E58A-48B0-B0A8-7C3D1C600E7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3201764","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3201764"}}}}}