{"entities":{"Q4218014":{"pageid":6247615,"ns":120,"title":"Item:Q4218014","lastrevid":46655976,"modified":"2025-12-25T08:34:14Z","type":"item","id":"Q4218014","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1222483"}},"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":"Q4218014$E5BFD4CB-F4D6-4D40-8F8C-A5F707C774D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26586516a6dfb143d46691714dbfc3fc3c99bcf2","datavalue":{"value":"0912.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218014$0BC3F222-9337-4DFA-A384-4123CE905A94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ab154b4f21373b281ff35bfcbc9d2bf147f677c8","datavalue":{"value":{"entity-type":"item","numeric-id":516403,"id":"Q516403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4218014$A1551C65-079C-41CC-BF28-E27442BA06B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"874b84f4e4c3d1120a3f15a09b668720ffcef7e9","datavalue":{"value":{"time":"+1998-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4218014$AAD7B8B1-8E27-4808-815A-3B7264EA7950","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218014$4D2030B0-A114-4DF6-9443-58F5C33A1DA9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89d6c03612d545bb299e3bdf873d27e548693a35","datavalue":{"value":"1222483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4218014$EF29558A-378A-4DD4-9C7E-B225BAB5A06E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53728ddfb111d24c98013f47a44b76f7d6e54ccd","datavalue":{"value":"tense tree method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218014$310F0DAF-7846-4910-9890-E3383CE6AF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902bb96bd7b013d323eaf0bd22f175083ba1743e","datavalue":{"value":"tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218014$327B66DF-63B3-4AD7-949A-2267D73E0A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f378a58398f4403e1fc95cd0b87f00b14187ca9","datavalue":{"value":"\\(U\\)-calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218014$66C3ABA8-FF94-4C34-A900-F5C9256FC8E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f9de9b25270b12806d124c113e4daea1a72efda","datavalue":{"value":"computational applications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218014$FE0518E3-10C2-42CD-8415-E465DF29C5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25f06eb97aebc6ed74f3a44df5601271faa1b15c","datavalue":{"value":"tree systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4218014$3B598B7B-4548-4F91-B723-CBCD03FDB84A","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":"Q4218014$B0752B49-3AD0-406A-B29A-ED5B44208E6B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb3142dac90fd20b631fb151b91f1f0adaee3161","datavalue":{"value":{"entity-type":"item","numeric-id":1288959,"id":"Q1288959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aecc22533a89ca2eef90b491ec33830121d45e8f","datavalue":{"value":{"amount":"+0.7953732013702393","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":"Q4218014$50A14FEC-B764-4335-AF87-D8AB3198B99D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24cc7780ba43a8ea5c56365615a44d25e91d56cb","datavalue":{"value":{"entity-type":"item","numeric-id":1317905,"id":"Q1317905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00d43793a4faa4c61b9598a6c5eaf59acbd8395f","datavalue":{"value":{"amount":"+0.759010910987854","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":"Q4218014$B71BB6EF-E5BA-44D1-906C-437A05BAF830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1038bb79d4fff54e6c31852941021dd4fd44ba4a","datavalue":{"value":{"entity-type":"item","numeric-id":4247207,"id":"Q4247207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cecc892d324dbe326a2a5d5e3ec1d8f2e5d95924","datavalue":{"value":{"amount":"+0.7582841515541077","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":"Q4218014$4EE18623-EC89-483E-A48B-A3338FC81E27","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":"2fbc254272d3b7a9607f2ab9384eb441d2b7207e","datavalue":{"value":{"amount":"+0.7513430714607239","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":"Q4218014$01FE9C90-78DA-49DF-AC6C-B2CD1818751D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4218014","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4218014"}}}}}