{"entities":{"Q4218015":{"pageid":6247616,"ns":120,"title":"Item:Q4218015","lastrevid":46655979,"modified":"2025-12-25T08:34:14Z","type":"item","id":"Q4218015","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1222484"}},"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":"Q4218015$271E14FA-B7FD-4FB6-BA6A-479578C5BDE8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45752dabe5bf30350723961539f2aec72662aef7","datavalue":{"value":"0919.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218015$6BE8FB9C-F429-4227-BF85-FC37FE554BA4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a24420eec7e03257dc6bfa6b280bd944a062c7ab","datavalue":{"value":{"time":"+1999-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4218015$1AE7771F-D725-40BD-8665-CB6649A01456","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218015$2B80262F-5B89-4D75-B181-46F094A6BE08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218015$96973DEE-D0D0-4914-AA34-111F1EA9CBD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6fff6a5db349389b267a2bc339d796528e4fa8c6","datavalue":{"value":"1222484","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218015$F347AD1C-2B0D-4F75-8C79-99319D90EE95","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218015$8A836989-C0B9-4C82-979E-3AE55189BAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d964a9a8070e695750f1e5917d3883510ded1814","datavalue":{"value":"database logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218015$BFAB7BF7-3FEB-4028-8EC4-81021A61F3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218015$594BA6B2-FCC9-476F-B9F0-353C6DC91506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38ac0f682a729ac5b390db427ed20d515c87d149","datavalue":{"value":"computer science applications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218015$F66CD556-CAC1-4FF5-90CA-6A8E79E44D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa90ed3848cc5c5406bc5945f438ac5145a88bf2","datavalue":{"value":"handling of time in pure logic and in computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218015$0338765E-1F97-494F-98FD-8C3967CCD0C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"520fc3310276d6c2ea42ead6c94cfa923d742547","datavalue":{"value":"logic of time","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218015$7F2F7CA0-E426-4E6F-9595-125E5285D3C0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"948b6f0f3f509c2346164de6f1b86ce0f916ab70","datavalue":{"value":{"entity-type":"item","numeric-id":232653,"id":"Q232653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4218015$7C021974-BADF-43B3-8994-61C2AC4C7822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dba48006b5c8e496f7eee02dd0edb814c74265c9","datavalue":{"value":{"entity-type":"item","numeric-id":912841,"id":"Q912841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4218015$935A262D-9304-45A1-8898-818E52134A25","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":"Q4218015$4D57454D-CF3C-4441-AAB0-460E3BE7AA12","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a012b73536e1a032ad74f821dff5954903fb798f","datavalue":{"value":{"entity-type":"item","numeric-id":4528040,"id":"Q4528040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d0683f18e682c00491e6c0beda541b5c6b10166","datavalue":{"value":{"amount":"+0.7814310789108276","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":"Q4218015$0388FFF1-1810-46C9-BC7B-AC06CFFEE554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c5410fe2b773f551ca7a21d646661f26026eaaf","datavalue":{"value":{"entity-type":"item","numeric-id":2753192,"id":"Q2753192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebdeadab336c42e15d3d1c2ad251957c714be73f","datavalue":{"value":{"amount":"+0.7757158875465393","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":"Q4218015$DC901B5B-E523-45E1-A0D5-6A18EAAA41AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67548bb33c036b1ea08167a45930689755f850d3","datavalue":{"value":{"entity-type":"item","numeric-id":2851821,"id":"Q2851821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b73491dc0e63fe085eafec8a694b3cec6f1678ce","datavalue":{"value":{"amount":"+0.7746952772140503","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":"Q4218015$D6CD2BEF-D0DE-473A-9FCC-ECD98322614F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4218015","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4218015"}}}}}