{"entities":{"Q4381704":{"pageid":6411303,"ns":120,"title":"Item:Q4381704","lastrevid":41620702,"modified":"2025-05-06T11:25:01Z","type":"item","id":"Q4381704","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1136646"}},"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":"Q4381704$FFADB5D5-65AE-4C80-BBCF-DB1818BBD238","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ca6444a7e86b788d5e8f6e4b9cf932a486c7ca4c","datavalue":{"value":"0890.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381704$BD6B0900-D316-42A5-B4F7-F49031809CDF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79ab39f1ddce3e53036f0100f9d05c9d58beb0ae","datavalue":{"value":{"entity-type":"item","numeric-id":3146902,"id":"Q3146902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4381704$DAFE03F3-C4A7-4F15-9554-AAC920C8874E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08ab1e05669c59cdd76a26d078fdd5e9551e99bc","datavalue":{"value":{"entity-type":"item","numeric-id":2737495,"id":"Q2737495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4381704$76A306D0-01B4-42F0-B80E-C056F6BE3A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a0575b8eb6875bc19d641657dc040c833def514","datavalue":{"value":{"entity-type":"item","numeric-id":1276500,"id":"Q1276500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4381704$9BD96636-0375-43D5-A14E-91F032562D4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"02e0ea8672a19da323d4689ae7e1a0c87afc535f","datavalue":{"value":{"time":"+1998-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4381704$D5ADD4E6-A04A-447E-B3E1-DD16E3B74360","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381704$A7E78636-8539-42FC-9ADC-77A5A230D482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381704$FF7FB55B-018F-47CD-94B7-68C95B4327A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381704$4E36807C-EFC2-47D2-8F66-EE7482C33673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381704$C6C9F0EE-918F-4AE2-A2BD-A1C4317B635C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8295dcfa1536a8206ee4c90b59ff58581852df30","datavalue":{"value":"1136646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4381704$413AF606-0B35-4CFE-BF53-56B585FC8BC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381704$0B39ACA0-7459-4D57-AD83-8854869BA4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199dd3cc417c20523b770c6c8cf20a0b7d3f9f67","datavalue":{"value":"relation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381704$B0176E26-2ADC-4B57-9FDD-0EA806FB48CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381704$9D3ABA3A-FB6C-45F9-A22C-68E9190AB338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381704$4A516C3A-E38C-469F-AA14-B250FC51A4E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48a9d57224b4c90795ed16b4505d8da2503b1dae","datavalue":{"value":"dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381704$5BE10405-0D44-4DD6-A79C-18CA509967DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"223e04e5e9d16ee6362186fc805ad6555e8b1f83","datavalue":{"value":"Rasiowa-Sikorski calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381704$C9ADDE61-7E28-4ADC-90C5-2E4626178A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b8bf99c129c5d372ebfcbe67da59113108759bd","datavalue":{"value":"fork algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381704$44D6C483-8DEF-45AB-87C3-4EF4E25FA187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"080aeea843f40f1db8c231aa73d51be62b38145d","datavalue":{"value":"calculus for program construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4381704$E5CC5871-5121-4A93-894D-64D1981DA096","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":"Q4381704$E7CFC44D-EEB1-4747-AF2C-2EFBDCB3EF90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2283d096669c6003f5e2fa70f13f3010060e2c5","datavalue":{"value":{"entity-type":"item","numeric-id":3146903,"id":"Q3146903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ed0d4a8002d98ae475e924c65685a1d36c2409a","datavalue":{"value":{"amount":"+1.0000001","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4381704$C2D39303-1DEF-40C2-B4CE-6A5F99FA22C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04cdd0cc34f40fbbb01744a5af388d78a406c51d","datavalue":{"value":{"entity-type":"item","numeric-id":4362877,"id":"Q4362877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f48a5371f4370428a06b1e6b4ed15183b3fd3a83","datavalue":{"value":{"amount":"+0.9342418","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4381704$A0C09FCE-144D-4077-A3B3-2C1A90531713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92767f0dd39c211457900992a47a3a5578192076","datavalue":{"value":{"entity-type":"item","numeric-id":4383701,"id":"Q4383701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4e9caacb6916438dfed6c3b689935a88b3344ab","datavalue":{"value":{"amount":"+0.9106901","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4381704$9AA2E107-B7A9-4D7D-9C2B-A67EA2B97AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e577c4268894c9be1bb2a1084ff822e19acd6aa","datavalue":{"value":{"entity-type":"item","numeric-id":4340535,"id":"Q4340535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62162f6404cc4c7db7247ef0ef1d9d727a61421e","datavalue":{"value":{"amount":"+0.9044033","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4381704$669651D3-F06B-4D6B-8A88-F408B7A868E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49d11fadc91fd3a79cc6e0d9d346310b86c43b32","datavalue":{"value":{"entity-type":"item","numeric-id":4870557,"id":"Q4870557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0539a6079a277a6d9284e1c7dc7d50a5a1451b55","datavalue":{"value":{"amount":"+0.9044032","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4381704$16878505-E59B-4E62-8610-15184DC40FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af25a0e26defa30f6d2f6739d5b998b836ebc9b3","datavalue":{"value":{"entity-type":"item","numeric-id":3623937,"id":"Q3623937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c363dc8a89ba56fadbcda0cce94155d2ee773cc","datavalue":{"value":{"amount":"+0.8983737","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4381704$A1A646F7-7DA8-4525-B38B-AF453D5DD86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76c203b332c1b2e687d96503b63c04ab3c7d514f","datavalue":{"value":{"entity-type":"item","numeric-id":4390778,"id":"Q4390778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8965ffa28c9e99d1d1c9ac17925f33f172e2b84c","datavalue":{"value":{"amount":"+0.8936683","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4381704$1E2E9417-4DB2-46AC-8186-2BF045485A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41e35f1d8a8bbd3ff31e16c1516300c202c85e32","datavalue":{"value":{"entity-type":"item","numeric-id":3585054,"id":"Q3585054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09d7c724f7ac256fcc33000233d1f4526d199080","datavalue":{"value":{"amount":"+0.8931163","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4381704$20497F52-1747-4343-965C-9F202DB4935B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73bde3fb9041e966a48b140e88ba008f4a58f281","datavalue":{"value":{"entity-type":"item","numeric-id":4250071,"id":"Q4250071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83dbaa85129f38f7816b6745fa745fd1a6a76ce2","datavalue":{"value":{"amount":"+0.89059675","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4381704$1C6F563B-85C6-42E0-A376-7129B005849E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e478fa79dbca04ae855f584932b156f9ba6c4e69","datavalue":{"value":{"entity-type":"item","numeric-id":2735802,"id":"Q2735802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93332deb4f1bddf91095b893c5135481e4594ada","datavalue":{"value":{"amount":"+0.8884088","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4381704$7396B830-0A3F-4D75-992A-F7F4BC4914B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4381704","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4381704"}}}}}