{"entities":{"Q4680191":{"pageid":6709772,"ns":120,"title":"Item:Q4680191","lastrevid":48493060,"modified":"2026-01-05T00:10:22Z","type":"item","id":"Q4680191","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2172804"}},"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":"Q4680191$29C294AC-DF7D-4359-B2F1-946554C4B0EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cfc7ebd93b74338ad1bb0883da01a2e648ffe0be","datavalue":{"value":"1104.68364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4680191$4B817ACA-7D74-4216-B55F-C3EF9F0E6C21","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a4b473513180cf93e4a8c86844a2c4dad9ce336","datavalue":{"value":{"entity-type":"item","numeric-id":820130,"id":"Q820130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4680191$EA0490DE-6E4C-4877-B72D-EF16533518F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2a00d07f06d0a6eedbd13f5ff98a15190e2168e","datavalue":{"value":{"time":"+2006-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4680191$7821252E-E2C2-451F-93C2-9C69380C2EF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4680191$A1E6A383-9745-4FAF-8C29-6ABBD3828115","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"baabbe4b6c5615c3724bfc5ec4f5f9e97d13b17c","datavalue":{"value":"2172804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4680191$DA99B227-28CC-45BB-9102-C3BA599C606F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4680191$55656CFB-DA86-4615-9E7E-08B7269FFDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e25171e8c28de1ba125377574b38bc39a443a6d1","datavalue":{"value":"reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4680191$FFC3982C-A83C-425D-8B6F-893A0EE73110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4680191$451A4E7C-D2FC-4FFD-A53B-2D92149C87D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f5cd91049aafbb7429741190c883a73bd6e5dee","datavalue":{"value":"validation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4680191$21245256-5AA4-4B3F-813F-121083586FB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8655b9be840caa9be702e31cd5e062f5735bc60a","datavalue":{"value":"linear-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4680191$6FBC94E0-6D0A-4919-A8EB-CF6582A435F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87aaa54c01c4e3e26c5afa311d7e61580a397656","datavalue":{"value":"Zermelo-Fr\u00e4nkel set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4680191$53283966-D888-49AC-9696-F5EA2C18903E","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":"Q4680191$269F6CA4-CBDE-4113-B91A-92B61046A79F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"074fc49899c2af0bbba15842ddb799ce0c6efe54","datavalue":{"value":{"entity-type":"item","numeric-id":4885875,"id":"Q4885875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a96d840647ee2524dc8246d17800ce6f9307a12f","datavalue":{"value":{"amount":"+0.8278119564056396","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":"Q4680191$2456B60D-86AA-4F96-96E6-12BA086494FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58d47caa41a11da514de99ed10b7d55ea0610de8","datavalue":{"value":{"entity-type":"item","numeric-id":4934623,"id":"Q4934623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fda7682032202c678f888daef8466fc7dc536c95","datavalue":{"value":{"amount":"+0.7957249879837036","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":"Q4680191$DB2283AB-7A74-4496-A581-0C5DD336EF04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96cdacd9e7ca0669ca235fd02fb84ce3efaed822","datavalue":{"value":{"entity-type":"item","numeric-id":2517767,"id":"Q2517767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fda7682032202c678f888daef8466fc7dc536c95","datavalue":{"value":{"amount":"+0.7957249879837036","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":"Q4680191$6BC8C891-36FA-4CCE-87F7-FD8EBE6DE40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"383293963e7c1b01bd5a14b4cc3c73537c26a169","datavalue":{"value":{"entity-type":"item","numeric-id":4647839,"id":"Q4647839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0546df725f606ef60050bcc3f274a1625b48641d","datavalue":{"value":{"amount":"+0.777668833732605","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":"Q4680191$72E783DD-6E97-4D47-84DD-D7226FDB7850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f5338f7ed3775f2c4b0a5afeaf8ce6094c68557","datavalue":{"value":{"entity-type":"item","numeric-id":3024875,"id":"Q3024875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fe5cfc3bea28dd2869cb14fe6736e428d3292cd","datavalue":{"value":{"amount":"+0.7772523760795593","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":"Q4680191$B1743ACB-8CDE-4DD3-B723-E213CB0A85D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4680191","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4680191"}}}}}