{"entities":{"Q4029611":{"pageid":6059351,"ns":120,"title":"Item:Q4029611","lastrevid":55217263,"modified":"2026-02-04T22:41:11Z","type":"item","id":"Q4029611","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 139631"}},"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":"Q4029611$6473AC59-157A-47A4-A22D-349C9A5A9FAF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28910c2d773fed3d388bce038a86731b31582d7e","datavalue":{"value":"0759.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4029611$48AFE9D3-8306-43DD-9667-CDB802FBEECC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c258bf9206a7a338581aad4b4a7a2544fa708cd","datavalue":{"value":{"entity-type":"item","numeric-id":391109,"id":"Q391109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4029611$4EDE6360-3A14-4ECE-87FF-278AC459673D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e126f0a627a644e456ce20a058877c46ad749c68","datavalue":{"value":{"time":"+1993-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4029611$5CC3A1FF-EE1D-4DAC-9EEA-D4CFFBBAC1F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4029611$B37902BA-C021-49F8-A9B6-BD70FA913166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4029611$AF5D06EF-E056-41EA-B29F-0FB0E8A53AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4029611$035C587B-27FF-4CBF-9305-02BC80F719A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4029611$A40E0A6F-A0B4-4324-B95E-41AD45F5B628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4029611$3AEBFE69-A7CC-4FC1-84EA-35C85688C0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4029611$0DC2AD5E-4F05-4743-AF11-754D75E2F405","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09045e1ce115a4af52bcffe3c516363b2eeb4286","datavalue":{"value":"139631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4029611$48939DBA-7F45-4123-915E-1FDDCC2BEC54","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q4029611$EC99D3F0-C364-47AB-A7AA-93EE2F9F9BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4029611$46878A95-D57E-4ED5-8C60-9D584914F089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4cfee1516c55531a670ed359feba0adffc8d328","datavalue":{"value":"omega-languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4029611$EF347E13-EB78-43D3-9BE7-10B6FB30622B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08f0a0d846f96d0ad21fc394acb3c1906b48ab4b","datavalue":{"value":"propositional temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4029611$27E1D2C4-6C4F-498A-936C-36486212C279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4029611$39D841E1-692C-4CC1-8F3D-0DBB1C841D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f81406898349e4c73610116261aaccda50fa702","datavalue":{"value":"formal language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4029611$AFDD8BE1-8FE6-4FCC-B606-A5AA0B7E99C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"353994e8fe4ea46c7967e2c391669c471c4ec902","datavalue":{"value":"semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q4029611$39DA1AE1-F08A-48AF-B004-4C6A3F2F8E31","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":"Q4029611$717F77E7-52C7-4580-9A79-84E3981C605E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bf048a150c1dcaae4be1d1b92c25bde46e3df7d","datavalue":{"value":{"entity-type":"item","numeric-id":402360,"id":"Q402360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ed26910683edd56b6bc8ec715c154b650915786","datavalue":{"value":{"amount":"+0.8382893204689026","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":"Q4029611$424CF866-EE1E-435D-8667-1B32A2768BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2aea13c570e05069715b97248394dcbad6b14d7","datavalue":{"value":{"entity-type":"item","numeric-id":1343862,"id":"Q1343862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bef9fef41b891edc7955a50d0671f43eab384bcc","datavalue":{"value":{"amount":"+0.8233469724655151","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":"Q4029611$9FCEC5A0-D793-4E2A-908D-315580C2B859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39e0a78e6a715469b7959c88759560dfb1ab2fec","datavalue":{"value":{"entity-type":"item","numeric-id":4635640,"id":"Q4635640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a37de8be303f1d91bf089ff1aec94994cf75c216","datavalue":{"value":{"amount":"+0.8101255297660828","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":"Q4029611$6D3CBB4A-297B-4914-969B-B20C30F3C473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc0cd30ea77ee1df65921818907ac72c2ce30739","datavalue":{"value":{"entity-type":"item","numeric-id":5204340,"id":"Q5204340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44c679c3e64eecbe9cc786cb2ab06c22ad925375","datavalue":{"value":{"amount":"+0.8100829720497131","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":"Q4029611$70DA2CC0-875D-426C-BA4D-089572205771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2567372ccab0053b8ac04a6c83539f1eb0df533f","datavalue":{"value":{"entity-type":"item","numeric-id":1100884,"id":"Q1100884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e1071c369acd6cc38bba8dbdfccd588df87b367","datavalue":{"value":{"amount":"+0.7971518039703369","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":"Q4029611$16D95F54-27FC-4732-A87B-7B08619125ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4029611","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4029611"}}}}}