{"entities":{"Q3486547":{"pageid":5516447,"ns":120,"title":"Item:Q3486547","lastrevid":49404097,"modified":"2026-01-07T02:42:07Z","type":"item","id":"Q3486547","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4158604"}},"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":"Q3486547$C24D38DA-698B-4DE9-817C-BCD162369973","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d0071335996064b686cae50aad2ff2e4cd5dd36","datavalue":{"value":"0706.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486547$7FCB0F97-F873-47FC-9AC7-9A12D41E18C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e72237755cee80f4100dfa096b99fdb0fefd7fe","datavalue":{"value":{"entity-type":"item","numeric-id":835824,"id":"Q835824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3486547$0F447C81-6E17-4FF7-BEC7-32EC73AE08EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4220785a18a90fd0b3612a311fad39271e7a91c","datavalue":{"value":{"entity-type":"item","numeric-id":1190789,"id":"Q1190789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3486547$806CDB36-4FBF-486E-9466-5BF421F91330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b67f572ca66b1630d2589481bba4da8e6924ff3","datavalue":{"value":{"entity-type":"item","numeric-id":1190790,"id":"Q1190790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3486547$4A89B436-E626-4A4B-B54E-60FB71C423B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3486547$A5743021-1AD1-4FE7-BD22-1D596A5E9109","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486547$78F7E8CD-1C86-4893-981B-136C00BA5582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486547$52155168-4ABF-4157-8703-23CDC178E26D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486547$CCD12FF1-B064-4A4D-93D9-37E75CCCEF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e29386ab56309ff8c722c73f426840ab86db1881","datavalue":{"value":"03B80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486547$32D42776-65D7-4FD9-8236-FFC6BB725D3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4a72ce9442f8a4d353883e08db97d9ec264cf6f8","datavalue":{"value":"4158604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3486547$76A9EFB0-88D4-4DE9-B8EC-5DA8EA7C9F68","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52ed6b195603ce4334ae9cffda78cb2ed053c05a","datavalue":{"value":"non-reified temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486547$71EC0C9E-C2D9-4A0C-B79C-4F17E7BFD2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee5674d32e86f8caa3c841e0956d20be8f7959ea","datavalue":{"value":"reasoning about temporal truth values","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486547$5B3CEDFC-01C9-4D45-BC7C-D3CB5AC8EDA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c823b56192bce445b4b9ec3d99d959d2bc7a655","datavalue":{"value":"artificial intelligence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486547$5692AB22-5DC8-4716-83D7-23472A811977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81cbfd99bb4806478ccb786d5a531aac48e84859","datavalue":{"value":"sorted first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486547$71FD3484-19D2-4E25-B52E-1487A08E6214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c4ed4fea13432d188a5ec678aec936f44975a8a","datavalue":{"value":"syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486547$35B88670-B496-441C-B324-E6FC41CDB139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486547$EBDC85FA-2308-4AEB-AEC5-049EEA3F3A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486547$1C1941FF-BA0C-43DC-9A5F-12B83310BF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c2fd7f9a4d7be6116cf48947b4e8098e7e86d92","datavalue":{"value":"BTK logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486547$EC6829BE-A272-46FD-AE91-B847082DC5EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"267a4b31683cf815dd74d1f447911c1742baaa8f","datavalue":{"value":"STL logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3486547$5778DDF5-28B2-4DAB-AF17-C77B073B6194","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":"Q3486547$802E7872-5130-4A7C-A918-EEFEBD1D8587","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94ffbeae1f7b37a10d78b673e80b5131029a08ef","datavalue":{"value":{"entity-type":"item","numeric-id":1190791,"id":"Q1190791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2022bd3743868fac3880563d8d5d281c1fa04b4","datavalue":{"value":{"amount":"+0.8990936279296875","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":"Q3486547$CDD66A44-5D35-48B6-88E8-2E2754090A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5d28b87a147de28bc2134ecb2ac2c43a15e3583","datavalue":{"value":{"entity-type":"item","numeric-id":4733377,"id":"Q4733377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2022bd3743868fac3880563d8d5d281c1fa04b4","datavalue":{"value":{"amount":"+0.8990936279296875","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":"Q3486547$B91BE5A7-AC3D-47F2-88A2-D275895D3C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b01c80268aee810072055b12089515babfd57c7","datavalue":{"value":{"entity-type":"item","numeric-id":4733384,"id":"Q4733384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e42f719db8ec904766e81d24d776559a7b3f9d8","datavalue":{"value":{"amount":"+0.7699363231658936","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":"Q3486547$2260F1AE-3DD0-4725-955B-3A017666DD40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4908c5983c5fd202b8ba5072d5fe994d868c15e7","datavalue":{"value":{"entity-type":"item","numeric-id":3981716,"id":"Q3981716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f7f462a4de6ed79826ade909f90b476463c54e9","datavalue":{"value":{"amount":"+0.7555941939353943","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":"Q3486547$551B389E-EB4B-4029-AA2D-BDBD2830813F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68ce57215a636957850d360622ebfeb9ccc4ab48","datavalue":{"value":{"entity-type":"item","numeric-id":4733378,"id":"Q4733378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"645a069358e1ec83355db23ef4917197131b1849","datavalue":{"value":{"amount":"+0.7541394829750061","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":"Q3486547$5A9113C5-1B72-4DAB-A4C8-98716F9C0F0E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3486547","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3486547"}}}}}