{"entities":{"Q5189545":{"pageid":7219117,"ns":120,"title":"Item:Q5189545","lastrevid":50932070,"modified":"2026-01-15T19:42:22Z","type":"item","id":"Q5189545","labels":{"en":{"language":"en","value":"Random formulas have frozen variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5682432"}},"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":"Q5189545$2259A8A2-DA1C-441E-8020-DF616444C5B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8eb32f8a3af165944f6e703f837047b568f72e01","datavalue":{"value":{"text":"Random Formulas Have Frozen Variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5189545$D1566860-EEB0-4F71-9CF3-ED23C7927B3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f20948792c662285255925c41769b4c709c745a","datavalue":{"value":"1185.68508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5189545$6FC59270-0F03-47A1-BA77-E3BC4AD99B70","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3879eeaff962a24e5148d15ea5fef6d42e3d8fea","datavalue":{"value":"10.1137/070680382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5189545$CD9F1BD9-7BEF-431B-8D8B-1486C3922D98","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"401febe1ae87cced8490d8e301d1ee77f2069661","datavalue":{"value":{"entity-type":"item","numeric-id":970555,"id":"Q970555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5189545$B73BC052-DD65-4F04-8EE9-F9BBDC8B2EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"811c6e48c8527aad0374f54e7524c11ed95f7784","datavalue":{"value":{"entity-type":"item","numeric-id":1356725,"id":"Q1356725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5189545$502C613E-79F0-49F0-9330-C014300155B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5189545$F369921C-BB0E-4EF8-AC07-4FC09FDCDFF1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7ad8c87d703502da08c2fc566ee03e5ea8994cd","datavalue":{"value":{"time":"+2010-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5189545$A47CCA06-0704-47A6-9E48-A5F9BC32DE35","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0a0df079854d50124aba88e2582075ecde5498b","datavalue":{"value":"https://semanticscholar.org/paper/3abf7b1c2d7e4ca6c39246692905d97b8d0aeb65","type":"string"},"datatype":"url"},"type":"statement","id":"Q5189545$4B123F2B-BCB1-46F7-8CBB-81F4200F4291","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25fe30a6fe5285f54b3a7ea7d7e97ac0b640e4f9","datavalue":{"value":"68R99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5189545$3BDF6010-5884-4781-A496-1197E8E4C717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6270beb3f138de18bcf9496281086bec933669ba","datavalue":{"value":"82B26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5189545$47BFC038-4FD5-4F8B-9820-0553184540F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd6b8847e09c706889ad9ef05dc0040f1c9f982","datavalue":{"value":"05C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5189545$44C7E504-5B76-486F-9B8A-CD874BE08CA8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f5d9c3a487d08a6b670aa5903b72180fdca2331d","datavalue":{"value":"5682432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5189545$3703581E-83A0-47BD-9759-A0A2C2049732","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5189545$A51C13BE-9240-4996-911B-71B5B587741A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"972920fe5cb341d56dc438d181b987ba5ef1ead3","datavalue":{"value":"random formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5189545$5FFD55FA-BB62-4252-BA88-5EDCA52658E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5f3e4ca58b2ed3663e2e3a4465f28160190050a","datavalue":{"value":"phase transitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5189545$10FD18DE-431B-4047-B51C-E17CFF07428E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f92be57b199ba4dfd62a06f3f5ab3a4f0bfb74d","datavalue":{"value":"frozen variables","type":"string"},"datatype":"string"},"type":"statement","id":"Q5189545$6F445459-C940-4584-AF48-8E01ADF33982","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":"Q5189545$9790F59D-E06B-4D0D-A7EF-49D862B879D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7c9ecd23c6251db3521c7988718456dae5210fda","datavalue":{"value":"W1996338626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5189545$1B800CB3-AA5B-49CB-9806-67BACB9B2D76","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b1300725a9623c27e391fd5324a139a393ca89d","datavalue":{"value":{"entity-type":"item","numeric-id":978588,"id":"Q978588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"687b6373b56fca5c8a0fa68c86f63510cb70cf2d","datavalue":{"value":{"amount":"+0.9146588444709778","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":"Q5189545$655CFD82-9FF2-4079-B52A-33BE97FFDE88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1596cf2cdab6b60f18f00b9a92575f7b0afc2b7e","datavalue":{"value":{"entity-type":"item","numeric-id":5741804,"id":"Q5741804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c14626f42955e01221c1a9bd1c1c31a6b4163e9","datavalue":{"value":{"amount":"+0.9056251645088196","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":"Q5189545$9705931A-2541-492D-806D-F81A50BE8DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ed32b77ba9965cde1b282da6be83971404a75d","datavalue":{"value":{"entity-type":"item","numeric-id":2473356,"id":"Q2473356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"901e619b6e8b8019cb0ddab631dbb5c3e31b9b06","datavalue":{"value":{"amount":"+0.8830034732818604","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":"Q5189545$B8F82373-F928-408D-84E8-D2FAB8142901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d993831c5acbf11b8d04d957f28914ff5a9eae3f","datavalue":{"value":{"entity-type":"item","numeric-id":5892482,"id":"Q5892482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11e83e53104fb009f60c71909d754818cc3953a1","datavalue":{"value":{"amount":"+0.8273317813873291","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":"Q5189545$C46A58ED-D776-4F95-BC5B-CD91C56311B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c55599f5166b609155175bf0fd0ab5a4f6bfe9b5","datavalue":{"value":{"entity-type":"item","numeric-id":5891921,"id":"Q5891921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"259003aaa1e9b643304e5cdf0d4b0a7bf45e0da5","datavalue":{"value":{"amount":"+0.8258190751075745","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":"Q5189545$4456BC43-E371-475C-99D9-D6AD95D5881B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5189545","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5189545"}}}}}