{"entities":{"Q6560167":{"pageid":14171322,"ns":120,"title":"Item:Q6560167","lastrevid":55692412,"modified":"2026-02-17T21:07:00Z","type":"item","id":"Q6560167","labels":{"en":{"language":"en","value":"First order logic, fixed point logic and linear order"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7869523"}},"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":"Q6560167$0644C803-0AC2-467E-AF53-0952C0E62F88","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd56a6d7122b66ee62d70a0e6108c85f2c741d68","datavalue":{"value":{"text":"First order logic, fixed point logic and linear order","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6560167$554F8ADB-7977-4F8D-A4B2-5DD53FB1DF33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18d44afbf10194774df9f0485c76bf49fb1dacea","datavalue":{"value":"1540.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560167$325D4679-316D-4814-B76B-4ADA7275E9FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d926893c0bd3d169945bd43ac2df1145d998321d","datavalue":{"value":"10.1007/3-540-61377-3_37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560167$EEFF68B9-91D4-4C0D-B2AB-F19D5FC5DBC9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62efbcbd1c8bb6c04192b7f9cb4bbfc724af012a","datavalue":{"value":{"entity-type":"item","numeric-id":309796,"id":"Q309796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560167$9DAAB919-A85E-41C7-932E-7443737D4F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6d5823617565d861dc97dbf80cb361a68d21154","datavalue":{"value":{"entity-type":"item","numeric-id":1183570,"id":"Q1183570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560167$B9A579B6-2AAD-4FBF-B238-DAA35D32CC94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a162ed9c1228af5f8628b45a1fbe4b46bf3f13a","datavalue":{"value":{"entity-type":"item","numeric-id":703862,"id":"Q703862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560167$E2AFDC86-C422-479A-B3FD-145C6AB1CD5C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f537c6f80ef2272fb77fcdfce306448ca22994d","datavalue":{"value":{"time":"+2024-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6560167$28204F67-55C3-49B1-9B53-718DA43CBFF4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560167$0A922627-EF89-41EC-82DF-41D722B27B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560167$F5C90884-5A70-4A0E-A394-967278113548","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560167$7F680638-A803-410E-A54F-B2D90AFCA36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560167$95940DA5-533D-4024-AA61-974561B5C0DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2bd6f4d0978c4de766f54152814598be597e262","datavalue":{"value":"7869523","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560167$79D0C1A9-8F0F-4690-BA3D-B67E32E13ACF","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":"Q6560167$0D0DBF0D-FCD0-4CCE-A77D-A95018CFC077","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b061c74acfe7ed299eeb2c95c750dc4bed6741a4","datavalue":{"value":{"entity-type":"item","numeric-id":1176285,"id":"Q1176285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560167$E995FF1B-185C-43FD-B134-242BCD0E3F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e50f22a422673d39d6b1662c5cdb08746bc7648d","datavalue":{"value":{"entity-type":"item","numeric-id":1892224,"id":"Q1892224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560167$C60C3CD0-A1B9-4E2B-BE71-AC34B83E6C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5592afdbc278531a8faff3dfe5516c2b3be670a","datavalue":{"value":{"entity-type":"item","numeric-id":2640342,"id":"Q2640342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560167$55D20690-5C46-417F-9BAF-86F7CF43FA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3446697e533186b3f82dd5e3a339f21afdc56f8a","datavalue":{"value":{"entity-type":"item","numeric-id":1908344,"id":"Q1908344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560167$6EB5BF3F-008C-4EA3-A688-DDC865FA9F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3ecf2a58a0d285969621dcb728618dd85cd1088","datavalue":{"value":{"entity-type":"item","numeric-id":1893734,"id":"Q1893734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560167$A53188F9-62DA-470B-B418-2B5CC9FF52AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"632317fe51438065bf57941f71730a4664ec3cc8","datavalue":{"value":{"entity-type":"item","numeric-id":3758820,"id":"Q3758820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560167$736F2282-73AC-464F-A6D1-E8CF0408EB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"631dd448ed94a161dd5275cc06d6f96081ad289f","datavalue":{"value":{"entity-type":"item","numeric-id":922523,"id":"Q922523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560167$D8EDD0E0-E0C8-41F4-99D7-7552AD00CADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18d639fb9d03ad258814bab0f3f43d6d28e28a1e","datavalue":{"value":{"entity-type":"item","numeric-id":1173404,"id":"Q1173404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560167$57195840-41B6-4FE2-BCFA-7EFAA60783B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a675fab4321817783597d6a1b8160efcb24c4ec","datavalue":{"value":{"entity-type":"item","numeric-id":3753525,"id":"Q3753525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560167$EED0A039-D9F6-4A8A-8C83-E49016B6BAEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"666440284a477c836e1dc9673229eb9c31b3c47a","datavalue":{"value":{"entity-type":"item","numeric-id":1193591,"id":"Q1193591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560167$20067E85-58E9-4CE1-81D7-F6E7AA64ED49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9439b068dfd82475252861fac873d24b67b1f7f1","datavalue":{"value":{"entity-type":"item","numeric-id":922533,"id":"Q922533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560167$05AC1C92-B652-4255-B32F-4112CDFE9958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa762974e3cb0286b2a40e5214b429aa00cb948","datavalue":{"value":{"entity-type":"item","numeric-id":1217684,"id":"Q1217684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560167$3B15DB2D-9247-43D5-A4B3-C01E8BE7D545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a650084c2b01883133d78255ff6ff7f2916617","datavalue":{"value":{"entity-type":"item","numeric-id":4744254,"id":"Q4744254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560167$48A37511-B7FD-4565-BF0F-CE4AAF0EAFF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea4d082f2541b1289a012675be6739211fa2c5e8","datavalue":{"value":{"entity-type":"item","numeric-id":4474843,"id":"Q4474843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560167$3FD82D57-69FD-4716-8614-E57FE826C30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cce85947fd71c4f5850f59f036a4dd761cfae66","datavalue":{"value":{"entity-type":"item","numeric-id":4154070,"id":"Q4154070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560167$2EFD3369-9853-46F3-935E-563FABC3B13F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba04c2fc94f08ed0de5342862b0fbb8c1ac0c52a","datavalue":{"value":{"entity-type":"item","numeric-id":2986799,"id":"Q2986799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f33d2c819f4397e4f5c30e615b3ddf5785caab87","datavalue":{"value":{"amount":"+0.857580304145813","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":"Q6560167$A6DC9384-D03A-43AA-9AB8-7A807A1FB3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee551284211c0c7eb59b86d9972bb28d3a85a796","datavalue":{"value":{"entity-type":"item","numeric-id":1893734,"id":"Q1893734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeeb94b7d410465fa15fc4b216a26c65716c8c8a","datavalue":{"value":{"amount":"+0.8048754930496216","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":"Q6560167$562AEF18-5107-42C9-A972-628EE8988E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"274f59d3747773d8cb96bd7d30dc965429658973","datavalue":{"value":{"entity-type":"item","numeric-id":5856403,"id":"Q5856403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b79177ec2f8cdb4a3f93bd4a77f74bcbd8a3a9d3","datavalue":{"value":{"amount":"+0.7985607385635376","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":"Q6560167$4BECCBB1-4DBD-4827-9A1E-DAF9F6394671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ebdba5fed38aaadacb66604db6f0be16390a1e4","datavalue":{"value":{"entity-type":"item","numeric-id":4508261,"id":"Q4508261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a0ce7955468d3b6337b7546bb6bd4b7fba1df65","datavalue":{"value":{"amount":"+0.7788221836090088","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":"Q6560167$1D31B101-E947-49A6-B69D-7F4232C7892F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf862075fa66de9be3ea83bc01d235528cea151e","datavalue":{"value":{"entity-type":"item","numeric-id":1908344,"id":"Q1908344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7b77af5c4fa61e2d927299b3125323bc91b65b1","datavalue":{"value":{"amount":"+0.7752354741096497","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":"Q6560167$4DF05F7F-4B96-488D-91E9-0A60E22EC020","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6560167","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6560167"}}}}}