{"entities":{"Q4636027":{"pageid":6665608,"ns":120,"title":"Item:Q4636027","lastrevid":40699081,"modified":"2025-04-04T09:53:26Z","type":"item","id":"Q4636027","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6863639"}},"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":"Q4636027$0530069A-328D-42C8-B9EB-2B95519ED52C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56c17947b6ed73a26cd0d1fe5325e34d164380c4","datavalue":{"value":"1400.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636027$E7B5A25C-3A42-4ACE-AFC7-9731730A48E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63dee52c4cdb2debf8acf919407058239105a5f","datavalue":{"value":{"entity-type":"item","numeric-id":301365,"id":"Q301365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636027$4757E3F2-FB10-4D1B-9E9F-1E2BDEE07CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ec2ee5f3fb3ad4b04ebc27b1a49c143dcadb098","datavalue":{"value":{"entity-type":"item","numeric-id":385071,"id":"Q385071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4636027$117B83DC-2A4E-4ECF-8C69-0A8001C76AE4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5474500ed23a367f35223f2b97230670493d7c","datavalue":{"value":{"time":"+2018-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4636027$3103508D-3217-4D11-B01A-B9BBD61935E4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636027$156BEBD6-FEDE-4404-804F-38DAEA570596","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636027$279E3861-117E-4478-85F9-DD15878B26EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636027$B9F24481-B890-4D84-853F-B138953CECC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636027$6A210540-845D-4F94-93B8-976668B90946","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6da7ecca27f308ec2f8fa4a48406d004bbf6bc5e","datavalue":{"value":"6863639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4636027$3C9540D3-E164-4D39-BDE1-346642C4E05B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636027$91D0B82B-5E05-4498-9AE3-382183B24B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636027$5C6B7D25-EB47-4AFA-B7CC-8E8C6380CFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"200b0f187ad1b101c5ee111f093a447fdd14368b","datavalue":{"value":"lexicographic product","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636027$8BC56997-531A-4983-812F-7DC27099E539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4b85c221691a7d90700e13382d7ef7979ab091f","datavalue":{"value":"axiomatization/completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4636027$314DC010-4317-4FE5-8DC6-DC65ECCB8DDC","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":"Q4636027$E2A1616C-D884-4B69-BDA2-0B9829F502DD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86c91b512c8c330a30f6b8dfafcede87fac5e887","datavalue":{"value":{"entity-type":"item","numeric-id":2901209,"id":"Q2901209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96c7de2b4f8559e8a3832c69d659ef1cae18e027","datavalue":{"value":{"amount":"+0.9325708","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4636027$C61075A7-11AC-444D-832C-B8C5600280A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e966e8030c323687104966c3ad2806ca3d0921f","datavalue":{"value":{"entity-type":"item","numeric-id":3655198,"id":"Q3655198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6097067a55ec149ad4a0b3bba2eb852bd8208acc","datavalue":{"value":{"amount":"+0.93257076","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4636027$6F5609F1-B24D-4BC1-A465-C4C4E9B48A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4316f70ed08240dbbba98f43b9edb255f9fa9c8","datavalue":{"value":{"entity-type":"item","numeric-id":4529490,"id":"Q4529490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efd3cf3d26322a37075e6901dcf785cdc51106b8","datavalue":{"value":{"amount":"+0.9159446","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4636027$30568008-4CAD-4D2B-8953-10E5E4365B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ce80263bac2b4bdecf2005119948986e1263482","datavalue":{"value":{"entity-type":"item","numeric-id":2865739,"id":"Q2865739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cc0f2abbb9c2b196f90d29816ee7927329d99cc","datavalue":{"value":{"amount":"+0.9077643","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4636027$C1E70681-F023-4F90-B52C-F4E1918CB098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"948c51ca78fd2f7f901011ee5beb79dd03c3e3a0","datavalue":{"value":{"entity-type":"item","numeric-id":4812313,"id":"Q4812313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de7b2f54f9cb8c29539ef3243edd676b27a7b1b9","datavalue":{"value":{"amount":"+0.90406775","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4636027$45ADD9B5-2F57-46FB-8C82-A59E26A10291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a80a09c56fa8314dfe0b3f475727c15010739c3","datavalue":{"value":{"entity-type":"item","numeric-id":5435114,"id":"Q5435114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0983e6e10706ae46157ab319e2cf15883fc89ad","datavalue":{"value":{"amount":"+0.90296304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4636027$EFBFE1FC-57DC-476E-BE18-A039375DFB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fab363b7c791b644d398fd1902a1b6cd9f6fcc9e","datavalue":{"value":{"entity-type":"item","numeric-id":1863827,"id":"Q1863827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abddc1fe1d24b3197a152271c46e7790457da78d","datavalue":{"value":{"amount":"+0.8983516","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4636027$672684F0-845B-43C4-A268-1A82EF445F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2498523d0de4815ff51869296d2b90f9ccae396","datavalue":{"value":{"entity-type":"item","numeric-id":1403342,"id":"Q1403342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c16478ca3703b4a6d193155b35ab7da1d0a6e8a","datavalue":{"value":{"amount":"+0.89543235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4636027$6DFE843F-7ABC-48CF-9647-921CDD36A599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65bd70e188512922fdaa05a3967e05b31b7cdc7d","datavalue":{"value":{"entity-type":"item","numeric-id":283762,"id":"Q283762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdd4067c5763d042ebb1e72aaac011aefb42faa9","datavalue":{"value":{"amount":"+0.8900037","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4636027$E5E948EA-836F-479E-86C1-9EEAD66E9AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d35e3200d31b03d3422fe831cb12f344da8f739","datavalue":{"value":{"entity-type":"item","numeric-id":4644536,"id":"Q4644536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c6c59f6c6ce619a01445d8583a00e87802a39a5","datavalue":{"value":{"amount":"+0.88712466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4636027$B67E72F2-F71F-4EFF-AB76-E815246F7A46","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4636027","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4636027"}}}}}