{"entities":{"Q4007485":{"pageid":6037296,"ns":120,"title":"Item:Q4007485","lastrevid":55168912,"modified":"2026-02-04T08:53:42Z","type":"item","id":"Q4007485","labels":{"en":{"language":"en","value":"Zero-one law for an extension of first-order predicate language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 59333"}},"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":"Q4007485$DA55BF32-4BAE-435B-95F5-C10DD0C9640A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82577e1c93aac544f1d47caecf27651b60b49ea3","datavalue":{"value":{"text":"Zero-one law for an extension of first-order predicate language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4007485$EED48375-6892-438F-9B39-08024560F517","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"650c3805e9c91b0fd501463b55c9d63a60a63821","datavalue":{"value":"0752.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007485$379FDC04-E6BB-4EB2-86EE-A8A2FD373657","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb5afb67e6240aba610249b7e5bfb471bb7880fc","datavalue":{"value":"10.1007/BF01068621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007485$51E279AA-0D26-413F-B063-CF96629DB025","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4664b5ecec798e2997ed6eee3b8d15d17587a25","datavalue":{"value":{"entity-type":"item","numeric-id":1882214,"id":"Q1882214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4007485$481A2506-3805-4FF9-9764-5A4C4C2A6B68","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2f2504956ff395a23643134114da7c6c64448d2","datavalue":{"value":{"entity-type":"item","numeric-id":3026191,"id":"Q3026191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4007485$62726B6D-727F-47D5-8AFE-1F6FD4511735","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4007485$03385655-D571-4924-9D04-1FB5527FDC06","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007485$5BB7CF26-BD3A-48CD-BBC8-A17D63D44913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"83bbf0b299346afb89579c3d6a26f4aedc76938a","datavalue":{"value":"05C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007485$84AAD2D2-C348-4C68-A891-60675D225991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007485$4A8B5CF4-9A82-4333-BB46-260A7739749D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77c53058ebb9d9e03f5428c96ebe8f019f08e8a4","datavalue":{"value":"59333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007485$EFACD02C-9F1F-44D8-976C-1F3B92E76488","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60eaa204fe52cf361dfdb465e94211248e251d81","datavalue":{"value":"cardinality of models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4007485$81529838-2F21-4A14-AD0B-99207FBE3E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4b23bbdf8572a173d58a1452d94018235035979","datavalue":{"value":"zero-one law","type":"string"},"datatype":"string"},"type":"statement","id":"Q4007485$71D82B56-F1D8-4AD0-87C4-DA943817B8BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a45a9de4855b312b42005f681b0759979b3f990","datavalue":{"value":"extension of first-order predicate language with the quantifier ``there exist no fewer than \\(rn\\) elements''","type":"string"},"datatype":"string"},"type":"statement","id":"Q4007485$825BBFCB-6415-4DB8-8CDD-99F4F2AB4370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eeda433620ea3712a791db247cd35da76b61c2af","datavalue":{"value":"asymptotic behavior","type":"string"},"datatype":"string"},"type":"statement","id":"Q4007485$904FAFC4-12BD-4A51-A66F-0A017AF344D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68437ff64e79ef0038a42e0bce74c9b78654bd8e","datavalue":{"value":"satisfiability proportion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4007485$EB246073-1965-432C-9E05-65DC3334C5AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75a9c7f79b601eae1e81120ad8c24fec519bf050","datavalue":{"value":"combinatorial properties of digraphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4007485$84D62C40-FF36-4697-AA19-A7D9D83F4264","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":"Q4007485$E777933C-F707-4085-813D-EBFC03F001B6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a740b6e9e652b2fb5fe827ec941309ed6af62f7","datavalue":{"value":{"entity-type":"item","numeric-id":4108321,"id":"Q4108321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4007485$E6A46678-4CCE-4F77-A4F8-E1E0D4C538E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bb13266d6e9cb924de9f33fbd05c2696a4d4948","datavalue":{"value":{"entity-type":"item","numeric-id":3747760,"id":"Q3747760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4007485$741DE4B0-E260-407B-9377-619DEF9451E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baa10f6b9265991f6bda704d0aabc7cf1149fcff","datavalue":{"value":{"entity-type":"item","numeric-id":3694333,"id":"Q3694333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4007485$EBA2D121-46F4-40D4-BEA9-379298BCBF94","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02733fc9f7ab3dc41911f39d9fc0968fb57c1dbf","datavalue":{"value":{"entity-type":"item","numeric-id":3747760,"id":"Q3747760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38269b647ff1e1a9f6bcdea7880c8da1de27b8cf","datavalue":{"value":{"amount":"+0.8282354474067688","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":"Q4007485$74007CBE-2AF3-4F7B-8309-AFFCC8A638F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"207fe056e5e320e79470f12afca3ce67f4a40944","datavalue":{"value":{"entity-type":"item","numeric-id":5928572,"id":"Q5928572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3f836b7311f02b3403a24d90e039eef3dd79116","datavalue":{"value":{"amount":"+0.8106228709220886","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":"Q4007485$7D0B2F39-CB9A-4328-8B04-F712C7EDB7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"080e986fd1b5bd13b09523d3d30b4894fa02c661","datavalue":{"value":{"entity-type":"item","numeric-id":3204446,"id":"Q3204446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3f836b7311f02b3403a24d90e039eef3dd79116","datavalue":{"value":{"amount":"+0.8106228709220886","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":"Q4007485$4AB377C3-0FA5-4EC5-B7FE-F6D788FF060D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b0050458185f6f0a1118386dacffb5bb71ad0cb","datavalue":{"value":{"entity-type":"item","numeric-id":325661,"id":"Q325661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81462230cc4b671bdf4d957efb8d37cf4939223d","datavalue":{"value":{"amount":"+0.8081644773483276","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":"Q4007485$CCF0330C-C9B7-4E3C-AEDC-2E5FFF2CB48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5815ce27bed02db6c3b68771ac08a5034d9b6720","datavalue":{"value":{"entity-type":"item","numeric-id":338576,"id":"Q338576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ebf8bde9511cfcd54bea818ea14502290cfb406","datavalue":{"value":{"amount":"+0.8044564723968506","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":"Q4007485$BDB3C258-0C85-4DC1-B702-3CB3731AF50A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4007485","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4007485"}}}}}