{"entities":{"Q4351799":{"pageid":6381398,"ns":120,"title":"Item:Q4351799","lastrevid":41132007,"modified":"2025-04-18T10:31:23Z","type":"item","id":"Q4351799","labels":{"en":{"language":"en","value":"Simulating without Negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1054070"}},"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":"Q4351799$EE93CFAF-BF20-4B51-8E9A-52DECA15517E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4b8ab0bc937135d6fbd0c0bea53adc6c2aae511","datavalue":{"value":{"text":"Simulating without Negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4351799$302BA4CE-2972-4652-99F4-AB9C2D1F5F24","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93f03dd2668871112ba428374473927b6213cb3d","datavalue":{"value":"0904.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4351799$74A11D59-F3EA-41E0-81F0-26AB164E0F53","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30ece5b693aa76572b186f3e8540450afbf9c6e5","datavalue":{"value":{"entity-type":"item","numeric-id":1280044,"id":"Q1280044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4351799$60E18015-59A3-4DF7-94CC-0967A4283786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33f6a8e79876d53be79377b2bab6c14057cb3235","datavalue":{"value":{"entity-type":"item","numeric-id":676175,"id":"Q676175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4351799$A52749A1-011A-4F22-94AB-114848378021","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ddcf2cc5d9dca7413af18921ff9d977f276261fc","datavalue":{"value":{"time":"+1998-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4351799$3143A484-5B17-46C8-82CB-2686769B1E46","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e58b7c3bcab2b3804a508a86b6437652700fd1b1","datavalue":{"value":"https://pure.uva.nl/ws/files/4048767/2898_27680y.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4351799$85700736-FA8D-486F-8C12-7D6C41DB5F98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4351799$5FF7EC4C-FAF5-435A-A694-A42981871CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4351799$C7B0FD25-F23C-425F-9B46-7256A801802E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"162971de9cbdf2a0ad097e661b22bcaf678472cf","datavalue":{"value":"1054070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4351799$828B2D24-3B3F-4A1F-8394-BED7EF291504","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q4351799$158BBB12-BF79-4904-9FF4-E54E31A8B7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4351799$49D74DCB-6926-441A-852F-2BC5DD264F48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c81f71376edbb4ca5bbf6b37865bc050d63ccba","datavalue":{"value":"negation-free languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4351799$4BFCC7A3-E896-4CE5-89B5-186C9591D7CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4db1a3999b233123761f32f1db11e89d859c3745","datavalue":{"value":"directed simulations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4351799$F7EA5423-CBEC-4AD4-B5C6-C347C41825D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4351799$3036D45F-F1D0-490C-86EE-230E2CCD405C","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":"Q4351799$00A8541A-DA3F-44C1-B979-22FA271CD8D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dcdfc14361a5e8d5830090dc651669d96a5fb050","datavalue":{"value":"W2109102460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4351799$E157E5D0-DCD8-4924-8DAA-32EB6C128D5C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67d4d338823f5eda43fcf25d1b0c9c610a364abf","datavalue":{"value":"10.1093/LOGCOM/7.4.501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4351799$60E753EB-0053-419A-A2AB-D0C921CA6125","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efa00591617b42d2fff94f01b24dac1aa62212e7","datavalue":{"value":{"entity-type":"item","numeric-id":1387017,"id":"Q1387017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b067bdd209c4e660096d4369e8edf9881dc83856","datavalue":{"value":{"amount":"+0.8378207","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4351799$9CD9F31C-5A53-46F8-B873-C1E4CAACA315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67575d50545002225cf6dca799a8968297df436e","datavalue":{"value":{"entity-type":"item","numeric-id":4322432,"id":"Q4322432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fef759fe60ac3ac6bcbe2b1e46e1dd7074359f13","datavalue":{"value":{"amount":"+0.83137447","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4351799$B3709797-B6B2-4BBF-88B9-ED3F11B50CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9779532e3cceb377a9a804f85ce37d557ee9dee","datavalue":{"value":{"entity-type":"item","numeric-id":4982511,"id":"Q4982511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f5fed7b68c5dfd0472dbf8470d676321068da9a","datavalue":{"value":{"amount":"+0.7978784","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4351799$B7E44077-4D55-4A6A-8E7F-4C6326991FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32e44781cb0ea8c1d4181ec4fe58b719b32aa2db","datavalue":{"value":{"entity-type":"item","numeric-id":4365783,"id":"Q4365783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08150f727564176b6dcb6fc0d7ae3420f7200cb4","datavalue":{"value":{"amount":"+0.7864445","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4351799$09C37939-5145-4B53-B2CF-D0456AE6410F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ccbfccf42c5d68d51faf102fa1cf0200a4ceeff","datavalue":{"value":{"entity-type":"item","numeric-id":1898466,"id":"Q1898466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2072bf67fdb6beab890a78fe1eda65db4625b11","datavalue":{"value":{"amount":"+0.78590745","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4351799$86DF02FF-3E14-4FBE-BB74-1AE742E3B169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27ad3d9b400f43791d3cc4690d933d7c0fdc741c","datavalue":{"value":{"entity-type":"item","numeric-id":2870154,"id":"Q2870154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba0e5ab675d291ed9d6aa60806e9b252b3e13dc0","datavalue":{"value":{"amount":"+0.7857579","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4351799$BD91AAB1-C2EB-4DFD-9546-2B958C5EDB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21ae594834468f367a082cfb1fe8aae3dddd2af7","datavalue":{"value":{"entity-type":"item","numeric-id":1267080,"id":"Q1267080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb7f0970e712f08181d7daf4105a4421bb0a1f33","datavalue":{"value":{"amount":"+0.7679813","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4351799$C9415628-91C5-4AE5-8EA1-C6823714F04D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"056e57a9c54edd8c3b9f04daf956914fe9e13271","datavalue":{"value":{"entity-type":"item","numeric-id":4887983,"id":"Q4887983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"856fc034726975e11ecaa54126d387679a577da2","datavalue":{"value":{"amount":"+0.7671115","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4351799$9C47F0C6-CB30-4B58-B29A-C9C1D7CD33E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a40e8f178b790e700fd202b4f783d226ba4f40d","datavalue":{"value":{"entity-type":"item","numeric-id":1288172,"id":"Q1288172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a4b50b8c49b36a467e506633e20f54fbeca5ef8","datavalue":{"value":{"amount":"+0.7668547","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4351799$2FCEEB36-98E0-4D09-BACD-23C586FC849E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa0001155aee674e375f498b6e327bda06dc189a","datavalue":{"value":{"entity-type":"item","numeric-id":2446544,"id":"Q2446544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5be63d43de3cc9917c01ec401d5d210213025136","datavalue":{"value":{"amount":"+0.7661717","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4351799$CD4B5F52-F55D-47E3-84CD-DC29774C05A7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4351799$2B1153F2-BE11-41EF-B7EE-D39078B96CFB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4351799","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4351799"}}}}}