{"entities":{"Q4301157":{"pageid":6330758,"ns":120,"title":"Item:Q4301157","lastrevid":47259865,"modified":"2026-01-01T04:00:44Z","type":"item","id":"Q4301157","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 605797"}},"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":"Q4301157$FC9E9843-9B93-4040-8A36-92BA158DAE8F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afecf03287349c3458c9fc1292b01a5bbbc3a16c","datavalue":{"value":"0846.68001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4301157$3ECBC91A-FF8C-430E-AD92-EA4CBF849500","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb407c0d797efac95ce01d3c4299f17c87977124","datavalue":{"value":{"entity-type":"item","numeric-id":1131359,"id":"Q1131359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4301157$7D71CF3E-8F3D-48C2-9DAF-C3313E73F6DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"14c5b4669e51c732cc57b9d454f303902f1803b9","datavalue":{"value":{"entity-type":"item","numeric-id":1598760,"id":"Q1598760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4301157$184F04A4-0037-4E29-B6BE-28FA2F42E885","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d90487343f49e7ec7b559537ce40ae4bb5d07540","datavalue":{"value":{"time":"+1994-07-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":"Q4301157$668AC001-8716-449B-A67D-E623F9F81099","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4301157$6E766822-3A9B-4E89-BF79-70F6FE5DAC06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4301157$7221E170-8B99-4C40-BAEE-5483E282D141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4301157$E18063BC-5BFF-459A-87B0-682FC302E524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4301157$D59EF7C9-C5D1-4635-A7F4-3874B779B844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4301157$1A740505-0AD3-48F5-9339-46FF60B3A9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4301157$E79EAD5E-304E-4238-822B-BCE273E04693","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1565cf2cfe53c2192abe68a40af031f6db9d7ec","datavalue":{"value":"605797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4301157$749BC45C-48A8-4B60-8C8A-93BE12154653","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4301157$09B97054-6B05-4DC5-AFAF-FFDB1EF9AF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e34cdc83d933e56b557fa529031b58cce5664a81","datavalue":{"value":"formal proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4301157$72DC944D-7426-4687-8208-239FBD3B24A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36982151b58370a747dcdcd771a7c7121f7fa4de","datavalue":{"value":"digital design","type":"string"},"datatype":"string"},"type":"statement","id":"Q4301157$01AB1FB5-2C31-4342-AD5F-EA0A5091CE84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c461a996d9aea8a7672e72fd598f38c8874f91a3","datavalue":{"value":"formal syntactic system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4301157$63B835DE-1197-43A6-830D-0488CD7D1620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4301157$6D8B4BD0-43E7-48F5-8707-FDECAC52F6AB","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":"Q4301157$C4F585B1-FA16-446B-AFA4-B480461174B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8443caedf36cb4a469d7c31ca07ef4894cd054f8","datavalue":{"value":{"entity-type":"item","numeric-id":3125203,"id":"Q3125203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3de45d7bc8e2bd1658118d41cffbedd835e8d454","datavalue":{"value":{"amount":"+0.8396522998809814","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":"Q4301157$E1AF50B6-69A8-46C4-A8EA-6E0DF28E92F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9fefea3d6b6c196ea689df6ee7a0647da1946e4","datavalue":{"value":{"entity-type":"item","numeric-id":4953875,"id":"Q4953875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3cbe712d0d0c76fa377c450edec6b26c95e3a97","datavalue":{"value":{"amount":"+0.8396522402763367","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":"Q4301157$7A2577BC-ED2D-440F-B0F7-5B8DEF29E129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc49982ecf8ffefd3149f96cdf9fa2500f628262","datavalue":{"value":{"entity-type":"item","numeric-id":5434189,"id":"Q5434189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72233616e08dfcd1daea74051e547ee042cc7be9","datavalue":{"value":{"amount":"+0.8370696902275085","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":"Q4301157$762B33FD-4897-4400-B57C-B0A380189051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f62bbe79ace320b8f4d4db960e0c746c62dadc","datavalue":{"value":{"entity-type":"item","numeric-id":3996610,"id":"Q3996610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"880b91dd4e0771f3a18442a9351902cc7bdc5c4d","datavalue":{"value":{"amount":"+0.8328462839126587","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":"Q4301157$B5DA1ABA-288C-4E17-9D8F-7555D36CE015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00ae5b2bc2e33876beabac4d58d257ddb6a12f7f","datavalue":{"value":{"entity-type":"item","numeric-id":4846259,"id":"Q4846259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efd95eb81861c3a671034f7f75112a3359509922","datavalue":{"value":{"amount":"+0.8297784924507141","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":"Q4301157$B8ACBCEC-BE69-4EB8-AACA-F4596E7980C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4301157","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4301157"}}}}}