{"entities":{"Q4250362":{"pageid":6279963,"ns":120,"title":"Item:Q4250362","lastrevid":46824894,"modified":"2025-12-25T16:18:52Z","type":"item","id":"Q4250362","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1303727"}},"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":"Q4250362$7466EF3C-1133-4BE2-AE0D-3CA33BFA9F9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab175819f01755c9cd8925bff18f67b6ce56d0a7","datavalue":{"value":"0924.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250362$3A9E3ED1-C8D6-4DEA-9CBC-EC6D9D7825A1","rank":"normal"}],"P16":[{"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":"Q4250362$2BCA6EAA-73CB-4818-9528-04361EB72A2D","rank":"normal"},{"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":"Q4250362$19BAB705-9F5F-449D-8532-79ABC144C01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57b70ccda10eee0149f281c226dd8d9cc2ff73c3","datavalue":{"value":{"entity-type":"item","numeric-id":673999,"id":"Q673999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4250362$0B1A1A97-1E62-4B29-95F4-C3A64EFE5C57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6058975aebcb06f50e61b28c434fa7404d9c6466","datavalue":{"value":{"time":"+1999-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4250362$24210582-8579-4C15-BFC2-2212C408307E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250362$29C73149-F8EB-4354-BD08-FCC1B762251D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250362$35728933-5000-4302-9429-35398DB673F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250362$3D66171F-FD59-47BB-AA0F-25AC62207FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250362$9C0810C0-5F8D-43E1-BFC5-8D8851EA3465","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f99d01f6d69e37b786ec9301b47753584de17298","datavalue":{"value":"1303727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250362$0CD5D782-C72B-4948-9E55-7B160A0EC074","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72f2f41bd19d70346c3c28ad13c976354b81b088","datavalue":{"value":"equational proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250362$63353D67-7FD1-4638-9D91-E8AAB512FD39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15f26b0687a74391233103645d585cda9a7bcbe3","datavalue":{"value":"logic for real time systems specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250362$6847DAEC-E8E2-455F-A3CC-8F57A0548A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09d5945dca29bd4f9952d3aade324216e1dc19a3","datavalue":{"value":"extension of first order dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250362$30B7B7AE-8188-4F03-A9E9-A2304ABE4C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a16276a11ee5058dcf653a3c32fc3450286c039","datavalue":{"value":"atomic actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250362$A331679B-0142-46A9-A216-BA3C08EDCEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf92846f17b44c9a7218e71e10113d7b81529db9","datavalue":{"value":"closure fork algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250362$FF76B4F0-75C0-40CE-AF88-1CD6442C3FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38a50ffa2df8f58dc0e19f5247e3e58137dec3e6","datavalue":{"value":"algebraization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250362$9B6139E1-6AB4-4212-89E0-4CF28BFEDCE1","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":"Q4250362$9F36BC74-F473-4C16-B74B-9BB9AEDC26F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a1f384828a62bdf3f6a49859ece673f7e69d3fe","datavalue":{"value":{"entity-type":"item","numeric-id":4035252,"id":"Q4035252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38a82b5d6c1e766f036e88f55a0a4999b749afb9","datavalue":{"value":{"amount":"+0.8200638294219971","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":"Q4250362$C4AEFC3C-9E55-4F7D-9118-73B09CAC6271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96239a973a0e33d1f7fec3499d31262df1b4b516","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ece3f080b8a8a20f8ab41cd49ff7a71c659548e","datavalue":{"value":{"amount":"+0.8007338643074036","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":"Q4250362$EA1EC3F5-3D4D-40D8-BC83-51702D42990D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aadf03d8284d33ea7ab99641e55c9ec5a3cb5eec","datavalue":{"value":{"entity-type":"item","numeric-id":2764146,"id":"Q2764146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54ced7e16989578d7ec7fc0da9869273e1fec5f2","datavalue":{"value":{"amount":"+0.7970860004425049","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":"Q4250362$5F1351D0-E4EC-467A-9C71-6F2D2FFF1ED1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa606853d64dbd06a1a39c12eaf1887f1356cbeb","datavalue":{"value":{"entity-type":"item","numeric-id":4221300,"id":"Q4221300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ac42da38cccd5f1068ee3e52f053adb4ba87338","datavalue":{"value":{"amount":"+0.7960732579231262","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":"Q4250362$DEC937B5-5DE7-4BB4-A80D-04379B057FC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4250362","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4250362"}}}}}