{"entities":{"Q4929426":{"pageid":6959008,"ns":120,"title":"Item:Q4929426","lastrevid":41685416,"modified":"2025-05-07T05:35:32Z","type":"item","id":"Q4929426","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5790393"}},"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":"Q4929426$249F3C8F-7574-454B-AC8B-F12B34DD48A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3e628dce3973406d4cb89d917731ddfecbd2eb2d","datavalue":{"value":"1216.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4929426$E4CCE4E3-E634-46DE-851D-B58C50B8BFBB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e0bda7cdf92664a4bee0c3f7686e4c4dfbc6bfe","datavalue":{"value":{"entity-type":"item","numeric-id":991001,"id":"Q991001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4929426$646B4FE9-25AF-4837-8E11-CADDA2514DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01049baa7cb1224f09687f350e395a4253a96763","datavalue":{"value":{"entity-type":"item","numeric-id":991002,"id":"Q991002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4929426$0625BE76-E3BD-42B8-A8B2-5317BBDED2CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5417c9d5a8d8b91df0e65b2ef01613f52beebd6a","datavalue":{"value":{"entity-type":"item","numeric-id":465580,"id":"Q465580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4929426$6A628D7B-00FC-41DE-AD00-93F8487CE538","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b2904eff86426f95e88b9dd8d319f8bbec23558","datavalue":{"value":{"time":"+2010-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4929426$34384692-5B4F-4700-B98C-BDA55F0FD351","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"502b51b3e6c431849314a7f95a7e51aaffc081c0","datavalue":{"value":"http://www.jucs.org/jucs_16_11/an_axiomatization_of_a","type":"string"},"datatype":"url"},"type":"statement","id":"Q4929426$CC8A5DF1-01C3-4DF7-8CFD-804C15AD67D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4929426$E522A4F9-8769-492D-9F69-E56607F98652","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bcb9d6f18f9e1c8c4d55a61e309c47bfac51e673","datavalue":{"value":"5790393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4929426$B299D553-BC92-4DD4-B290-DD28AA6D9129","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bab95dfbcdceac6cb0c1480eb7dd795ff46e5c45","datavalue":{"value":"branching-time logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4929426$4AD33FC7-CD5E-4890-90DF-BF0D2FE0F7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4929426$6E568A26-3BBC-4CC3-AB60-0F64090D3690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd90b10c86bcd3a1ea00e5a723ecbd3727c10897","datavalue":{"value":"strong completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4929426$871C8E00-70B4-4AF8-8E14-19C3A693400A","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":"Q4929426$E7D75937-9E76-4257-A503-3B2600938C84","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f81aa2aaef83289dd62a4e56a0e4bb731fda785","datavalue":{"value":{"entity-type":"item","numeric-id":1203784,"id":"Q1203784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11a277fd238edb55a7a6f8fc2d1d02d7bc1bf6ee","datavalue":{"value":{"amount":"+0.9335469","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":"Q4929426$EE5FD5E9-1DAF-4524-A438-1141B7A858C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faf473c9db566695247ab3f0587faa9d503c8c5d","datavalue":{"value":{"entity-type":"item","numeric-id":1102941,"id":"Q1102941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1da9ca878cc15a707b63e5e11da1d0e8be0d40d6","datavalue":{"value":{"amount":"+0.9322804","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":"Q4929426$843AD184-BC1A-4B07-8129-A4D5D8C3523F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85ba7597552f4d235072d5a833cc94413be77496","datavalue":{"value":{"entity-type":"item","numeric-id":1101100,"id":"Q1101100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c789979ee3a9f9d1e7ef56351cb9f848c819381","datavalue":{"value":{"amount":"+0.9318406","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":"Q4929426$55BF8F4E-DBB4-45D9-AC10-E9FF0DE06A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2a268163365589a0d288d821dc138c43e323937","datavalue":{"value":{"entity-type":"item","numeric-id":2563451,"id":"Q2563451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c185dd757165f3a4deef54b9bb46efb2519bbac","datavalue":{"value":{"amount":"+0.93035495","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":"Q4929426$151066C4-6831-491B-9215-B57F64A1E53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edfbe8f0d4fd63e5633ad6a16667ed8b9308be29","datavalue":{"value":{"entity-type":"item","numeric-id":4632314,"id":"Q4632314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60148c1e53fff2769a7154ef0378eb8bdb1c8926","datavalue":{"value":{"amount":"+0.9298982","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":"Q4929426$AF91B031-1D0D-4319-A871-18E7DF28171B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c21bba9bb1d120a5a91d6c7c48e6a3b546e5e7e3","datavalue":{"value":{"entity-type":"item","numeric-id":288245,"id":"Q288245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6db84f1abba8c8ebe3ccdeff09d885f50005be81","datavalue":{"value":{"amount":"+0.9286323","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":"Q4929426$A090FE19-BE70-4A06-A702-AA6F82D6C008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41c1e56272e89723df8b5c41e8c5c2cea135c272","datavalue":{"value":{"entity-type":"item","numeric-id":2856051,"id":"Q2856051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb9ee9c8ae38d6ea7315531c49f0962f65667936","datavalue":{"value":{"amount":"+0.9266165","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":"Q4929426$A94FBA6D-017D-46C0-B8A7-1B20259B113B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309f995ebfc814203ab1311d6199f66c932e719f","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4392930c76160f398d7d169d4eb37db3f49b3859","datavalue":{"value":{"amount":"+0.9223759","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":"Q4929426$E6D33042-734E-45F1-AEEE-71BAFB9A0BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"891ec74453572b7814cf8b5c6c0909e95aa17119","datavalue":{"value":{"entity-type":"item","numeric-id":4353629,"id":"Q4353629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bef00443bd54ef143b039374c16abffcc9d04747","datavalue":{"value":{"amount":"+0.9217758","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":"Q4929426$76350A62-94EC-4CAE-B43F-24451D3E1814","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":"26c8ee4056fa171e63112be84048ae5e1a6cf16a","datavalue":{"value":{"amount":"+0.9166083","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":"Q4929426$997C3A3E-B28B-4929-A59E-2C2DE87D08A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4929426","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4929426"}}}}}