{"entities":{"Q2745194":{"pageid":2755933,"ns":120,"title":"Item:Q2745194","lastrevid":83040323,"modified":"2026-05-07T05:38:15Z","type":"item","id":"Q2745194","labels":{"en":{"language":"en","value":"Composition nominative first order logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1653943"}},"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":"Q2745194$8A0D493F-50C1-4CB0-9431-6852C2E553FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a514e65a70dba6d506f8b514db664bb737268977","datavalue":{"value":"0974.03509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2745194$1B72E66F-3F18-451C-8A73-4C1D849C404F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5736b10882fcd248ee7728f1c7c88885067ebad5","datavalue":{"value":{"entity-type":"item","numeric-id":271899,"id":"Q271899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2745194$32C97A1F-2722-42EC-8B21-3DE43CB37DC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad4feecb2d2e38c02ef2459e3aca98926fa4035a","datavalue":{"value":{"entity-type":"item","numeric-id":1146531,"id":"Q1146531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2745194$AB81374E-E742-4F82-B21B-8FD788B88E96","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a8fc5d857639e72f49c8b91a290053b2ba97c58","datavalue":{"value":{"time":"+2001-10-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2745194$C3FEF722-1CC1-475F-9E98-DB7CF83DA991","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2745194$01A773AC-DE2D-459B-AE58-7673C46B881B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2fef8eda4fe5b5d8ff13e5ec460d33354af75f12","datavalue":{"value":"1653943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2745194$4BCBB52E-EE04-4524-8A34-FB9033CF79CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3f0947ba1881d22754cd1cfca7d6742a9bc49d3","datavalue":{"value":"composition nominative first order logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2745194$2CC4D1A6-12BF-40DD-AD56-9AC13B1638ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d31be1229374545ff94fd95ad2a5ce9870f120db","datavalue":{"value":"partial functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2745194$A1398704-E1A9-4B9C-B9D6-9D23CF73BB9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05574b04e6b96f7e4fb1b0d4760833d0f74ef46c","datavalue":{"value":"partial predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q2745194$90898CE5-2E0F-4968-9E5F-E26B5FB0B648","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":"Q2745194$FE409353-7ECE-4C7A-A11C-E94E6C00CDF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b39a0cfecb85e5c0240c30e8fd271b4bd60d6da9","datavalue":{"value":{"text":"Composition nominative first order logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2745194$9C70E345-2531-4AAD-A367-EA933C943B56","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ad2dee7d47d7dcc1a11d7db2f11f00ec159c5374","datavalue":{"value":{"entity-type":"item","numeric-id":6648625,"id":"Q6648625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2745194$454D1E3E-F03E-4723-BE6D-3030E3245D82","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"450028a69da23b62e34f401ef256e252512c166d","datavalue":{"value":{"entity-type":"item","numeric-id":2897499,"id":"Q2897499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7dcbb0c4a67fa14a521f526a33e49212506cfd2","datavalue":{"value":{"amount":"+0.904351532459259","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":"Q2745194$687F49F9-77F7-4DFD-9286-6AF9B63195AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0619b56bd7596f9ea1c5443efe232eeff68523d","datavalue":{"value":{"entity-type":"item","numeric-id":2745130,"id":"Q2745130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69e4a4c9c21cc0323471dffa27dc2fcb86da420c","datavalue":{"value":{"amount":"+0.9004755020141602","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":"Q2745194$FEF94442-4F2C-4B48-8C7B-CEF7A5E4BF48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8d1e8a8835fababdc257d7a3623fe21b2532974","datavalue":{"value":{"entity-type":"item","numeric-id":2737328,"id":"Q2737328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7d3cfa11b135ca99c271660be951770a830a98b","datavalue":{"value":{"amount":"+0.881244957447052","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":"Q2745194$C04C7210-18D1-4BB7-B2B2-E84F45F90CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd04616c11db1fc6218d675165ae478d37a4e440","datavalue":{"value":{"entity-type":"item","numeric-id":2850352,"id":"Q2850352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f077f7ea0873864d10aa1537bf0900ccf1b1b7f","datavalue":{"value":{"amount":"+0.8543351292610168","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":"Q2745194$3880FD96-E929-4EC6-B7DC-BB367B0E3A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c38a77f51d62118456c1957dfc65191033b295d","datavalue":{"value":{"entity-type":"item","numeric-id":5467757,"id":"Q5467757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e80e6175a6f6835ee4f94ed84c3ddaf0f74ebaa","datavalue":{"value":{"amount":"+0.82915198802948","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":"Q2745194$CB2FB52A-9FBE-4CFE-A0B9-F6555BE89BAF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Composition nominative first order logics","badges":[]}}}}}