{"entities":{"Q6849518":{"pageid":20593774,"ns":120,"title":"Item:Q6849518","lastrevid":84271982,"modified":"2026-05-14T11:51:59Z","type":"item","id":"Q6849518","labels":{"en":{"language":"en","value":"On two-variable first-order logic with a partial order"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8167996"}},"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":"Q6849518$D16A8FA3-BAAB-4338-8E79-EF369A1D56EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d5d3e899dd00ca7c7d215c4ce808c2b77c4eb4e","datavalue":{"value":{"text":"On two-variable first-order logic with a partial order","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6849518$769FDD57-952D-4C65-B3AE-1B7EC7BACC8F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"96565bed2e441e01ab90939b617459b31ce094bc","datavalue":{"value":"10.1093/LOGCOM/EXAF068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6849518$9CE08A28-69B4-4240-B78E-84DB2CA10DFD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fec4c9b505ed0edb15d3d4ee321168725ae185c2","datavalue":{"value":{"entity-type":"item","numeric-id":6849517,"id":"Q6849517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6849518$F1A69704-D305-47F0-A9AC-758AA9141603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad52f3622bd4915d7c3f60cddd347bada6821c98","datavalue":{"value":{"entity-type":"item","numeric-id":1877097,"id":"Q1877097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6849518$39F789DF-B830-4B48-A2B4-7F66B46FDB16","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6849518$1BACEE6E-C79F-462A-BC0B-9B97A223F6F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"211e7059f836e4216ce4baf6b36fbd6574badf3a","datavalue":{"value":{"time":"+2026-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6849518$51A03C7D-6431-4D72-B80C-317B6D374358","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6849518$3A543532-7915-4CD7-89E0-DA5BBD20CC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6849518$E2DA0AB0-36A0-4203-AB8B-701C532FD43B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42a5a6d9c29324d8755aed26e78e804c72a574ce","datavalue":{"value":"8167996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6849518$FC21F533-EC7A-47BE-8052-7EFD86AD2E91","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6849518$FD1BE095-F43D-487D-9306-A3E217BB4B3B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"771baa32a7ba9b4505a64a417192abdaa4eb63db","datavalue":{"value":"two-variable first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6849518$04588D84-8CE3-4CB8-B422-D94A13852368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6849518$0D9F98F0-012F-4518-8A53-22E73F8A42DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6849518$2F36B0DD-BACA-43AD-A04A-248A9E86E6EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q6849518$F5734B74-23E3-46F2-8E30-A38120727F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49388e046339f86e6623a972cf68b5665500aba7","datavalue":{"value":"transitivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6849518$4040875F-6EBF-4936-B102-F33764D5A209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"126bc261b4ce15426bca501a6725c284417e2bf6","datavalue":{"value":"partial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q6849518$7E1F6B52-7C5D-4664-AC4F-487DAD0D9887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2b06033a7afb15bd70d90fa94b028d5083fc1bc","datavalue":{"value":"finite antichains","type":"string"},"datatype":"string"},"type":"statement","id":"Q6849518$5CD7F9C8-5BAA-4309-83F8-961D7D47CE04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e807d9a1d088d38d687be7a0d0754f38a1d87e68","datavalue":{"value":"locally finite order","type":"string"},"datatype":"string"},"type":"statement","id":"Q6849518$6FBBB63D-1DC3-4259-B848-97480F216F23","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":"Q6849518$EB794475-1568-4A54-9FC9-26E8E9261F6A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c922c12838ff84785d9f11ce77760dfb81a02b8","datavalue":{"value":{"entity-type":"item","numeric-id":5111178,"id":"Q5111178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6849518$837E2503-F29F-4945-BFB6-A4A152A3B3E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a178838dbcdc173046191aeca00191d389b3dac","datavalue":{"value":{"entity-type":"item","numeric-id":4683231,"id":"Q4683231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6849518$15ED9748-6940-4679-A837-D52166D3BEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7fce62635dde4b6deca6e027d5f78e874de979","datavalue":{"value":{"entity-type":"item","numeric-id":3525594,"id":"Q3525594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6849518$B559753F-2FDA-4E7E-9762-25D1A7761F51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b57d5224096e5b1977c4ed46b0dfb10c94f703d","datavalue":{"value":{"entity-type":"item","numeric-id":3452211,"id":"Q3452211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6849518$E236B725-F3C1-4AD6-A343-3DD6843EF682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606e2ac1108ee9966d599adf5bc823740cd75525","datavalue":{"value":{"entity-type":"item","numeric-id":4423053,"id":"Q4423053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6849518$0DD6AA08-C8EB-4B39-947E-DDE973DC364F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3efaf7196a1042742f6796e8fe3994a0c6d9bad","datavalue":{"value":{"entity-type":"item","numeric-id":918533,"id":"Q918533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6849518$089AB1D9-4D1F-4325-9993-630DA48DCAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19d4c961176e9452dd55fdddf2406cd05d35f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4338040,"id":"Q4338040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6849518$9AE6E164-8E5A-47F2-A0E0-C19A1CCC1FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b56b738565e185d3cb3d312011cb5a72967d8bc1","datavalue":{"value":{"entity-type":"item","numeric-id":1165229,"id":"Q1165229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6849518$CB980629-8A7D-4C3E-A8A8-A4E57871AAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64b325ce1a576881b11260db294d6b2b694a76ea","datavalue":{"value":{"entity-type":"item","numeric-id":5394585,"id":"Q5394585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6849518$3BABF1D1-024E-41AA-94C9-8A565CB3E059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23a1f7e04ff9fdd6909616f01cd17235f45c786","datavalue":{"value":{"entity-type":"item","numeric-id":5892437,"id":"Q5892437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6849518$B40D45F9-4562-4564-8902-81B2E4464000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"def66741257d563bc142c4ecec014e9928994fde","datavalue":{"value":{"entity-type":"item","numeric-id":5895185,"id":"Q5895185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6849518$5DE81BE6-8B32-4791-BE05-22B233704227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c8596aa54a6958616ee0a5b2702de350117dce6","datavalue":{"value":{"entity-type":"item","numeric-id":2754184,"id":"Q2754184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6849518$E3FC4EE1-28A6-4681-99EB-BE09BE2901A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c657a49b0f66f029ef8a8958b54e831c356f29a9","datavalue":{"value":{"entity-type":"item","numeric-id":1572745,"id":"Q1572745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6849518$84F1A153-1EAF-47C7-BDC4-85EB4754392D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a282cc86156b5316dafe3b37bb48c59058e7c8e","datavalue":{"value":{"entity-type":"item","numeric-id":4381401,"id":"Q4381401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6849518$2C947DE7-5A13-46FB-964F-22ADFAFDA513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f91da2686aaea55c0da7b723fa48e2f2fab5344","datavalue":{"value":{"entity-type":"item","numeric-id":1566734,"id":"Q1566734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6849518$6367A921-2965-43B1-823F-9ED22FA987A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf96fd313efea8fcdd4baf3f82e7012dac99f22","datavalue":{"value":{"entity-type":"item","numeric-id":4110975,"id":"Q4110975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6849518$81AFC7EE-76BD-46B5-B8E3-3D303ADA94E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee80ab534d8a303cc5dd0717328992e19f49d822","datavalue":{"value":{"entity-type":"item","numeric-id":2747711,"id":"Q2747711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6849518$396667E0-B0B7-460C-88EE-10B918AEE598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bcfb68fba027cacb9b0860a53badbc1e10d06ac","datavalue":{"value":{"entity-type":"item","numeric-id":5109226,"id":"Q5109226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6849518$87731A40-9C5A-466C-B83C-B8CC82A17113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bda03a5882747a1da8ba6c55aae5a08950ed16f","datavalue":{"value":{"entity-type":"item","numeric-id":5871044,"id":"Q5871044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6849518$85AA18BC-9D11-46CD-8DE3-5A6CC67C5D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"738ca23deb5a73574f763aa5a34f4696e0054686","datavalue":{"value":{"entity-type":"item","numeric-id":2238133,"id":"Q2238133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6849518$4EB5CA70-52D2-4DE3-BB17-35D8C629329D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1ffe5d98d69fadf36d631f4d6d75f35df66a006","datavalue":{"value":{"entity-type":"item","numeric-id":6610635,"id":"Q6610635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6849518$5A1393D8-3A3D-467B-8FC5-BBA7924A1C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"160d3bef2e7f4e951540a88ba607fc24c5162a91","datavalue":{"value":{"entity-type":"item","numeric-id":5195057,"id":"Q5195057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6849518$ADC93D9A-C381-4D2B-A1C8-D82AD759DE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f00c212ac7c8cd1c77c5d03362102365d083ffee","datavalue":{"value":{"entity-type":"item","numeric-id":5901154,"id":"Q5901154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6849518$FCABD10E-8FB4-47EC-8340-D3B66DB1C77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ec631cdab6bc15f40bbeb35b22906d9d8ce1a88","datavalue":{"value":{"entity-type":"item","numeric-id":1877098,"id":"Q1877098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6849518$153368D3-1947-487E-84F4-B0ADCC9F2F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c433685e38299ce9ba5b24d85f0be52a44902b39","datavalue":{"value":{"entity-type":"item","numeric-id":2957894,"id":"Q2957894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6849518$774A890E-4C95-466C-A44F-6B5F0DB55572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0da4060c7b020c95e432b6e370c29a11b01619a4","datavalue":{"value":{"entity-type":"item","numeric-id":5212557,"id":"Q5212557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6849518$D6C2710D-8169-4C29-9554-E5E79EC45F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c1935af02a0d972aebe875e80268f11a931622c","datavalue":{"value":{"entity-type":"item","numeric-id":5094127,"id":"Q5094127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6849518$AFC23FC6-1942-4DC9-A818-FD6B34D28040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f000ee8955356867a062bc284551aec5175e1811","datavalue":{"value":{"entity-type":"item","numeric-id":4635945,"id":"Q4635945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6849518$79416D8E-F440-4301-B1F8-0485CE4577E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On two-variable first-order logic with a partial order","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_two-variable_first-order_logic_with_a_partial_order"}}}}}