{"entities":{"Q4489067":{"pageid":6518666,"ns":120,"title":"Item:Q4489067","lastrevid":47486848,"modified":"2026-01-01T21:17:02Z","type":"item","id":"Q4489067","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1471983"}},"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":"Q4489067$F3ADCCA8-1EB1-4502-8CE8-9FD7BD1350A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e860ff57eb0991e552f37872b6c1f8b6d169258","datavalue":{"value":"0952.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4489067$78CF3725-96C2-433A-9DA8-24A2910FF466","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b75703c43b7574e9bc6a5724b295d101e05fb795","datavalue":{"value":{"entity-type":"item","numeric-id":1362646,"id":"Q1362646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4489067$44F35D84-0E18-43BF-99E7-6811E1A4657D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3eaf7abcc912caa8b9054fccd0320e564c2a8225","datavalue":{"value":{"entity-type":"item","numeric-id":831217,"id":"Q831217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4489067$737ED886-6468-4913-A419-7C476D04EAF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"96cc32b5114aed13d4cd109fe7265b4e5c590084","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4489067$8F36998C-A1C9-411C-9835-E952AB01FDB0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a293b32d791126f92ce379ae6161ce6d2eae424","datavalue":{"value":{"time":"+2000-07-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4489067$C2E5D89C-B91C-4442-A06C-EF8B1C20370F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4489067$481B1DD3-933B-4834-9026-F2103722DA99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4489067$B93AEBAE-FC7E-441C-9DC8-726C04A2B2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4489067$C50076C7-D816-4155-9333-9D9F44F9B317","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab1a3ae4c14d7c5757558920a4ec6aedfb4e6d50","datavalue":{"value":"1471983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4489067$55080D3F-353B-4417-921B-6B4039282126","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6b83533da271b466c04aea4646ba439c5a64541","datavalue":{"value":"unification of formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4489067$7A013B6F-D171-49B5-9A8F-36DA19082AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bb4ec5a1c8df0d525fb9ea56778768f3f1c83d2","datavalue":{"value":"persistent formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4489067$6BDCB24B-EAB2-4A05-8B40-7560474DEB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6135ceafed3292f6b66e098192375f7d5b754046","datavalue":{"value":"inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4489067$C1BA687C-D539-4623-95C9-6765E9B243F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4489067$26E04B74-A272-4AF4-9A32-C3E066650364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79012181677accf98a2ad2b09866958f8e29960a","datavalue":{"value":"passive rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4489067$0D160C3B-C98B-43E7-8864-ABCC8ECADCB4","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":"Q4489067$B465983A-691B-4271-9394-7A911710A85D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd548ef2c69da76c7d10775ad9eb623a894ed212","datavalue":{"value":{"entity-type":"item","numeric-id":4443406,"id":"Q4443406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d15d6413142a2fff3c63c526cc1acd2570af7389","datavalue":{"value":{"amount":"+0.9832809567451476","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":"Q4489067$1C20F5A3-6995-4C7C-8F06-2DBEC0F82C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e9e992cf52944b77527537693d7b8034012e1d3","datavalue":{"value":{"entity-type":"item","numeric-id":5241921,"id":"Q5241921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05490986e9f87f30e00ab7f44834705700556e42","datavalue":{"value":{"amount":"+0.8382105231285095","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":"Q4489067$E2423681-7887-4E37-A3E5-697BD6DBAB9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aac9c4607522ca38e77ed0eebfd588157d343558","datavalue":{"value":{"entity-type":"item","numeric-id":2889571,"id":"Q2889571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ba40479b703ab5243734993f11bc731f4127d2d","datavalue":{"value":{"amount":"+0.8361403346061707","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":"Q4489067$E62AAA8A-C469-4AD9-88D5-EE411C63D1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9233249eac8623912147e1042b002aed5412ac5","datavalue":{"value":{"entity-type":"item","numeric-id":5241924,"id":"Q5241924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7781ff920a4af5b710cd7c98155d4fdfd248319a","datavalue":{"value":{"amount":"+0.8295641541481018","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":"Q4489067$55FA9AD3-3607-4158-B9A6-881F547BAA1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4efbad0f808f8bc90ed676d6348d922d47a740be","datavalue":{"value":{"entity-type":"item","numeric-id":5877709,"id":"Q5877709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edb36e1f83e05c59f794b89276d692f9fb4b6036","datavalue":{"value":{"amount":"+0.8216804265975952","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":"Q4489067$04191B67-51C5-4C6F-9B90-570E25FF1286","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4489067","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4489067"}}}}}