{"entities":{"Q4940727":{"pageid":6970309,"ns":120,"title":"Item:Q4940727","lastrevid":29056028,"modified":"2024-03-05T17:06:56Z","type":"item","id":"Q4940727","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1406811"}},"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":"Q4940727$49947F4F-3369-4863-8885-DB1789AFFFFB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c09b2e79f29ead04055238a817eed0537b2fb9e","datavalue":{"value":"0941.03522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4940727$27E1A7D1-7762-4F77-895E-B1421C795DEE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f946dfe6b3be96d34da1ef7b14a483222b37bfb9","datavalue":{"value":{"entity-type":"item","numeric-id":190257,"id":"Q190257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4940727$14000359-7EE3-4C0C-826D-2FB53EA4C9FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9064e7c5b1833d7d4b89f5a4c09b74bb0655a242","datavalue":{"value":{"time":"+2000-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4940727$466CE04B-6A7C-4715-AB7C-B72A8B9B6932","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4940727$72163D33-AD4B-401C-9A53-664D66C03AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4940727$39DEE7D4-D7CC-4A4D-8221-C698CC8BDBF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b97b76f4ff26f2e3e3b43c3a3c029879274e241","datavalue":{"value":"1406811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4940727$03C334CF-AA23-4361-908B-DEE6C48F20F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4940727$341C0937-A023-4A91-82C0-226DC5ADAEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4940727$8FD89348-36AB-4E05-BDD9-7E571C9679B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66ef75d01a03479fcf2ab73dbe073c8b38695bf9","datavalue":{"value":"phase structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4940727$A1C1E374-0D93-4B9C-9516-EB21979BD1FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3d4acd38ca00cfbf2185bbd40c8400095410e7d","datavalue":{"value":"pretopologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q4940727$1211FF38-C1BD-4777-A219-9E3219C8286F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a2757483db7063804eea8277a6e94835ec94f63","datavalue":{"value":"quantales","type":"string"},"datatype":"string"},"type":"statement","id":"Q4940727$B53EC400-F9C6-4231-BDB3-0F85C3E2BF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4940727$DD9E712E-DE84-4F5A-833D-20EE61EBE456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4940727$591C6F39-60FE-400C-B637-F1FD9F3FEBB5","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":"Q4940727$4D795CED-8687-4DF9-BE95-B7D7B3310EAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4940727","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4940727"}}}}}