{"entities":{"Q3747760":{"pageid":5777666,"ns":120,"title":"Item:Q3747760","lastrevid":51016763,"modified":"2026-01-16T05:40:17Z","type":"item","id":"Q3747760","labels":{"en":{"language":"en","value":"A zero-one law for logic with a fixed-point operator"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3984615"}},"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":"Q3747760$01EB98DA-36CC-4BAB-92CB-E830EEFF8E11","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c517b7d18f311586f8898e32f4b17c0db2e8be9","datavalue":{"value":{"text":"A zero-one law for logic with a fixed-point operator","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3747760$24538324-3416-4FDE-9F29-D18F74F0B214","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6884010909f4a3a68f1fcc7a045c1b26192698f","datavalue":{"value":"0608.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3747760$2B86D26A-0DF9-442E-B74D-84CF7CF879D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a93e364b323ea1f2ae9ebb1f6a8ff74f57125ff","datavalue":{"value":"10.1016/S0019-9958(85)80027-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3747760$4F86B025-934B-4EF0-A97A-F79104C702E8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be0c547959f56e22bcdd079e76bda78b5f7c3224","datavalue":{"value":{"entity-type":"item","numeric-id":195660,"id":"Q195660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3747760$9C902653-431C-4255-BEBF-A8AE029831B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"60a24674fc3fdfdb20ce395c4f54c3ddf31dbed4","datavalue":{"value":{"entity-type":"item","numeric-id":283763,"id":"Q283763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3747760$E57B3F7F-7638-4E80-A391-188B7A490C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aee4d3ee1c41565a5a83b17f16adc6668f5bedeb","datavalue":{"value":{"entity-type":"item","numeric-id":293302,"id":"Q293302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3747760$66B41844-798C-4185-ACCE-FC069862720C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4434820098e3b6c980c31814818af7c68f56bd22","datavalue":{"value":{"entity-type":"item","numeric-id":2832035,"id":"Q2832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3747760$940F679E-EE47-4FA8-A502-22FCEC10E36A","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":"Q3747760$3494E099-BC37-4733-9110-C5BD82CA16E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3747760$81911290-F998-4F68-8C2A-2D51867EB1FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"452a95d35f44102a74d715b25e83366927e66d9c","datavalue":{"value":"60F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3747760$7E012A14-10C1-406A-96EA-D66A573789F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3747760$A152297C-13F9-4EB9-A60E-4368415A425A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e3678c4c27859448aaf57c0c464a06d6cc1a175","datavalue":{"value":"03B48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3747760$6597B5FB-5A52-492D-88C1-48F9BEDF554B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"768e88eb8fd57b1b3642f57f6febfb158cf49c8d","datavalue":{"value":"60B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3747760$6F3038C2-9831-4A7E-9184-86B2CBFCCAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2c8fe0e0d9053b9c71e705326a25639cfa34093d","datavalue":{"value":"03C68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3747760$5289B969-8B77-49A3-83DD-A5D9AEBFCA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3747760$566CCC38-6EB7-4977-85D1-01781CCB93B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3747760$534360EA-5819-46B1-9A50-D96DD917ABA8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4d41a5d77dd0b768c5ab63cfafd9ff526ac3577","datavalue":{"value":"3984615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3747760$C9A3C3E7-9834-46F0-B717-CCBE1F0AA6D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"942d01c41f83f0287b2b37d733bf57097d64092b","datavalue":{"value":"inductive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3747760$47F9A4A4-93CB-4AAA-9DE0-E506FFF40F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df90643ca9d95d00ec896e3139080ec1b7dfc666","datavalue":{"value":"finite relational structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3747760$D085C6D1-F9C0-420D-9B01-4F5A50FAB370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d729c402ba86b0653b3a28e225fa5726cab5467","datavalue":{"value":"finite graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3747760$1566CF97-E048-4ADE-82A1-B18FAACB70CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9be10680476253c3a8b84c3c96a6ef8a508b703e","datavalue":{"value":"least- fixed-point operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3747760$7B06B396-02D6-496D-8F54-C261CB168634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3747760$A513136E-D273-49B5-9B31-427D9B3596F9","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":"Q3747760$7A1F6638-7709-4EC0-B687-F82436742B54","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fa4796b069f5f18ae81a24cf998c9d40fb0ef61","datavalue":{"value":{"entity-type":"item","numeric-id":4007485,"id":"Q4007485"},"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":"Q3747760$802AD4EA-1DE7-4E6A-B104-7FAB348ABBB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccd0abd2ce730ea455ea28215c1d402a36128505","datavalue":{"value":{"entity-type":"item","numeric-id":4336698,"id":"Q4336698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37ef6a0b93d13562efe06c8339dd7a16ba1d2630","datavalue":{"value":{"amount":"+0.8273743391036987","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":"Q3747760$6BB7CC2D-2197-4F5E-ABB9-643F7D69D0D7","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":"35b55ed38c1aa04f669c515d9d59e40cb9f8bae8","datavalue":{"value":{"amount":"+0.8178011775016785","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":"Q3747760$060691A9-83A4-4DF9-B323-17BE850ABE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e9cc7ef8fd8d30e2743101b1761bb92158c7984","datavalue":{"value":{"entity-type":"item","numeric-id":1193591,"id":"Q1193591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"372db65966ddea2fe09d3c16c5d1a4bc6677b1d5","datavalue":{"value":{"amount":"+0.8175005912780762","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":"Q3747760$2B59F0F4-123C-4723-B04E-600E78DC20D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"587553d2fea14f83e8a1020120a017bb9c111221","datavalue":{"value":{"entity-type":"item","numeric-id":4879905,"id":"Q4879905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7e621583c542a82f0e491c986b356c01a5f374d","datavalue":{"value":{"amount":"+0.8085922598838806","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":"Q3747760$FAF2115C-6DBB-402E-93A0-066DA44F6163","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3747760","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3747760"}}}}}