{"entities":{"Q1816331":{"pageid":1827073,"ns":120,"title":"Item:Q1816331","lastrevid":43344387,"modified":"2025-07-24T23:01:48Z","type":"item","id":"Q1816331","labels":{"en":{"language":"en","value":"Logic inference using formulas with temporal connectives"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 949076"}},"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":"Q1816331$55C3F3E9-FB77-4814-B19A-0732AC60C14D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b306fba984af1b8ebdbc6a102adac82f1fadd73","datavalue":{"value":{"text":"Logic inference using formulas with temporal connectives","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1816331$57354106-C197-470A-9AD9-441C26550427","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0723360f092d6527e4464a4203f1602ee35a468","datavalue":{"value":"0925.68406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816331$C2DA93F9-1846-4EAD-A01F-AAC2EAF7B4E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a9b82f71b281d34b21d49a8cb60ab5b3b1c3959","datavalue":{"value":"10.1007/BF01131848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816331$AB72D79F-0BD3-47DF-AB63-538830BE5C15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f45b3546566520e7d5dc74304d34e646983cad0","datavalue":{"value":{"entity-type":"item","numeric-id":1816330,"id":"Q1816330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816331$E009D71A-89CD-43AE-BB59-FE1492B26C8E","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":"Q1816331$1793928D-FD2E-4876-B0D2-BBF193597008","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5dcbf7af5fc9377bd6622f30bf4a1171e3fa4090","datavalue":{"value":{"time":"+1997-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1816331$DE7FB52E-AF6D-4B3D-A924-5161E6DF3CB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816331$37ABE4C6-2DED-428B-827B-D6007AAE3DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816331$7D2E4D75-D732-487A-A343-6A68F1D5B226","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"27ebb80d0d63e23af7a5e8764958d312cad0f8c8","datavalue":{"value":"949076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1816331$8A7DBB96-9E26-4D82-9CAC-5D1F53E3C7E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"067ae17f63e56983dbd7f5802b263084bbac60f3","datavalue":{"value":"Horn's formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1816331$B47B6D75-D404-45B8-967B-9EAFC2AEEE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d820fd01d446bc73d261fdb48550142aaf764da5","datavalue":{"value":"dynamic knowledge description","type":"string"},"datatype":"string"},"type":"statement","id":"Q1816331$F1C7A458-DF98-4BF2-BF72-D3456A9BE6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d627948941a38d1fe1abd2b507fb1fc849f4eb6c","datavalue":{"value":"logical inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1816331$89736469-10A4-4D12-9205-A3DC8E39C01A","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":"Q1816331$6499E3BD-1579-4EFD-9CD7-B28AE92EE4B4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"43fc3502a0360748daa034dc3c5b542fb918c1a9","datavalue":{"value":{"entity-type":"item","numeric-id":3994705,"id":"Q3994705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816331$B1519D3B-1DD8-4D94-A33D-5DAC78A0F125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfead181c4df7b86f6e62184823b49dfa079ebaf","datavalue":{"value":{"entity-type":"item","numeric-id":1060013,"id":"Q1060013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1816331$011F8D3F-2C47-4D1C-B330-6F733814495A","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":"Q1816331$24B02A7A-E2DA-4F87-B1C1-DA1927F49949","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1816331","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1816331"}}}}}