{"entities":{"Q749525":{"pageid":751374,"ns":120,"title":"Item:Q749525","lastrevid":64130976,"modified":"2026-04-11T17:50:54Z","type":"item","id":"Q749525","labels":{"en":{"language":"en","value":"Encoding of pseudoboolean models for infinitary nonclassical logic of transfinite order"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4172955"}},"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":"Q749525$5967F1CE-A754-4000-92B7-A2CB0283FE7D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7dbea4042dc669ef8afa943a6382dda77d10ec8","datavalue":{"value":{"text":"Encoding of pseudoboolean models for infinitary nonclassical logic of transfinite order","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q749525$E0492B13-94F4-46DA-85AF-27D050D9F4CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a604c75f8877ca5c8dfeaba940cc377790eba139","datavalue":{"value":"0713.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749525$9D6E9D6C-1017-4A8E-BACC-E9AB98AC265F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e68a48d91fdb3c75f530e01052933a902e2d766","datavalue":{"value":"10.1007/BF00971158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749525$4896885C-8C33-4404-8B13-0815EEEBCCC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10542537c1ed839675935258346287941e4bb35d","datavalue":{"value":{"entity-type":"item","numeric-id":749524,"id":"Q749524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749525$0E1737FE-B793-423E-A09F-56E89BF4AE9C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q749525$AE237FD7-026A-4D82-911E-C747D63C375D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q749525$EDEF9EF0-21F1-4E86-AB65-C1FB5246A3D1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"626c67368340e641694eae6d9f7c8d5ce899a27d","datavalue":{"value":"See the review in Zbl 0704.03020.","type":"string"},"datatype":"string"},"type":"statement","id":"Q749525$520BBFFB-30D6-4D69-8B8F-B3525AA5F784","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749525$8A8EC3BE-FC04-457E-B703-E6557D9D6D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749525$4D590BD5-DD64-46D0-AD45-AF658F178CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749525$FEF307C5-E6DA-43F3-A123-23F642A03C77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"010bdab0454b285ec2bb749d40b5bea47d51301c","datavalue":{"value":"4172955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q749525$3772810B-DF1D-4D35-8AC2-E4726AEB4B05","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c24b8f9e5f49ee9cc7730fc330731e00244bbebf","datavalue":{"value":"theory of types","type":"string"},"datatype":"string"},"type":"statement","id":"Q749525$38D5D3EA-E92F-4F30-83CA-B90B9EBC3CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3b953198924b932df786f97a4e42b44a2bf8a45","datavalue":{"value":"transfinite expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q749525$D8DF15E7-6EE5-4321-ADB5-55509A0A42F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb20adb75be3433a380868e63cc0de478ed2c1a3","datavalue":{"value":"proper classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q749525$B75929EC-F855-456B-8989-C9C69266F75B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7001585e9b74bb867ef7afe1c0f510b491dbdc18","datavalue":{"value":"pseudo-Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q749525$7F2BA5E1-E39E-42A1-99B1-F6C569344BAB","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":"Q749525$766C3B35-C0A8-4873-AE80-ED7EC422F40C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Encoding of pseudoboolean models for infinitary nonclassical logic of transfinite order","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Encoding_of_pseudoboolean_models_for_infinitary_nonclassical_logic_of_transfinite_order"}}}}}