{"entities":{"Q3680257":{"pageid":5710163,"ns":120,"title":"Item:Q3680257","lastrevid":50033647,"modified":"2026-01-12T18:05:03Z","type":"item","id":"Q3680257","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3902015"}},"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":"Q3680257$301C6230-827C-4D26-BA7D-56F872B563B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b963c03e3ae1ee795f170adde5c013fe28da93f","datavalue":{"value":"0565.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3680257$EDE4BFC6-D4B3-4045-8555-A0010A09BBCC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"355040910cd530dba8b668ad97f83f789bbfc22c","datavalue":{"value":{"entity-type":"item","numeric-id":1194339,"id":"Q1194339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3680257$AD14DF6F-ABED-4354-98A1-5304D5E6FA37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3680257$109575EC-C563-4786-AF1B-D2CC854AF0DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3680257$FD1945C4-A252-49D3-85DB-CF187A930028","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01a3f492eb9f76441cb0cda64876357fd0a7d1e3","datavalue":{"value":"3902015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3680257$DAB608EA-09FF-481D-92B8-B58C767AA4C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"166ab2a89c58b8f5b1d04e9671cc9cbbb6827ba0","datavalue":{"value":"fixed-point induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3680257$FDB61173-3A00-4C54-A3AB-4750DAD4FB63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ade0add25a6e3084ba8dd798b74ff157c7167f83","datavalue":{"value":"compactness theorem from first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3680257$8E6D71D5-A88C-4929-9005-27E0D8ABADF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8976dd5a10348743c4fa44ece6c3a77542a0fefc","datavalue":{"value":"proofs of correctness for communicating processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3680257$A3861041-5D6D-4FD9-9DF5-B5562EEC5A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e07787a1cd26c789140f5c3150ac09bb65f07f7","datavalue":{"value":"safety properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q3680257$60E85FED-7863-4F7B-BC77-C535758B4459","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":"Q3680257$35D0A8F5-D330-4BA1-93A9-5354222A7FE5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8631275ad52acd3616dd087952e119a419a7cc32","datavalue":{"value":{"entity-type":"item","numeric-id":3702497,"id":"Q3702497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3d95f55e194333da0380b600dea3d8b932537b1","datavalue":{"value":{"amount":"+0.7962085008621216","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":"Q3680257$82768914-7B86-4CDE-B369-A846440D5BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecaf608f97117af5b5e69dc2264c563d8c76828a","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b05a2b43f90cff067662bb78c9e7be87eb5bfb5","datavalue":{"value":{"amount":"+0.778493344783783","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":"Q3680257$DCB1D63F-7A3E-4446-9E0D-D6AC9927594B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc31d83741da54ec9bb46861eca0d7595e47ef97","datavalue":{"value":{"entity-type":"item","numeric-id":3719813,"id":"Q3719813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61d21ac0fc65b88fd13d3ac9f0a13127344aed15","datavalue":{"value":{"amount":"+0.7766955494880676","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":"Q3680257$9DE1DA48-9797-4835-A381-004C9A893F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dea6834bd55ada27579fb8c6a82297aeafb0817f","datavalue":{"value":{"entity-type":"item","numeric-id":1060838,"id":"Q1060838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d715225f8e9e71f5b03686178fde3be767853514","datavalue":{"value":{"amount":"+0.7750253081321716","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":"Q3680257$4440A578-DC0D-423D-B1B0-65AC24C185B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c9a51b91b63aa50361155f833fea16c324b9850","datavalue":{"value":{"entity-type":"item","numeric-id":1112600,"id":"Q1112600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd74e46a9152a2d87ad376afe6de26d77cfba866","datavalue":{"value":{"amount":"+0.7728690505027771","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":"Q3680257$99B15A1C-743F-424A-9986-D591F8FFAED6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3680257","badges":[]}}}}}