{"entities":{"Q6987207":{"pageid":21426252,"ns":120,"title":"Item:Q6987207","lastrevid":84014606,"modified":"2026-05-07T23:05:10Z","type":"item","id":"Q6987207","labels":{"en":{"language":"en","value":"Variable domain first-order first-degree entailment and some of its children"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8036954"}},"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":"Q6987207$A5A2512C-D48A-4166-808B-16F10904BDA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"709f4706cdf2addb3f713410adebf3fcb6e0906a","datavalue":{"value":{"text":"Variable domain first-order first-degree entailment and some of its children","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6987207$03BB001D-6098-41A4-80A2-ED920870090B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"13f2bf9427efd975488abd557ff8c1055ed773cf","datavalue":{"value":"10.1007/S11225-024-10143-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6987207$049BB59F-CAE5-4679-93D7-83440139F562","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"358f3a9bc3c45eb533947fcdab78c84ed017a266","datavalue":{"value":{"entity-type":"item","numeric-id":2079710,"id":"Q2079710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987207$6FFF3E67-57AC-40C7-B162-6E24819FE306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f59155d663a7cfb652e165126967abc5e01f2c4","datavalue":{"value":{"entity-type":"item","numeric-id":2053982,"id":"Q2053982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987207$62D80DA7-D603-48FC-AAD6-8E737FEED4C8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987207$F44BBABB-D015-405D-A131-CB07F0EC37C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"66f16df79848c88a7e372b53160ab8402dffc7b0","datavalue":{"value":{"time":"+2025-05-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6987207$87D1D079-29B1-487F-9995-EC9B230A9BDB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6987207$FF7DE642-0137-4B73-AEA5-C239881B8E77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c4c264014ec9f5621097e41064b95bf350807ac","datavalue":{"value":"8036954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6987207$17775E07-1D31-4C10-B59E-D33936B3B6A6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcb14c4659ff4d169eded081a3baaf7bc59c6924","datavalue":{"value":"first-degree entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q6987207$326D6C72-D83B-4AFC-A3BD-2A7D17C8EE8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3dcbb8529b0a2f05f350cc2444e4d94108f46424","datavalue":{"value":"variable domain semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6987207$162A65E7-7825-41AF-9209-E29207C54C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cb5ce18f0a51c5180022cd98c3886d68a7906c7","datavalue":{"value":"information-based logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6987207$61460509-5FE1-4C02-B632-D0DEE55B4D70","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":"Q6987207$CE564AD5-F493-487F-A114-2D66EA39FACC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5636e55e835909ecc2a3d557b27c8b97703df23","datavalue":{"value":{"entity-type":"item","numeric-id":525357,"id":"Q525357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987207$AF599415-35AC-471E-8AC1-35C489225D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"738655c5e04ddb97a8badad3792e2c75c72bed3e","datavalue":{"value":{"entity-type":"item","numeric-id":1104309,"id":"Q1104309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987207$296A5C90-9DB1-4062-8A42-3DAB3289C5A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"684040846f573b6c80230e1e7aca47a03eb03636","datavalue":{"value":{"entity-type":"item","numeric-id":3693511,"id":"Q3693511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987207$DE0EE91A-2AE3-44D7-805C-980076CAE546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca1ce01eb2fa877bfa5268347f5d645d59997256","datavalue":{"value":{"entity-type":"item","numeric-id":1131500,"id":"Q1131500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987207$601B1205-BA87-42FC-A5C6-EFF5FB9E4E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab9158d20ddd42a024495b64ea93a5176b8716dc","datavalue":{"value":{"entity-type":"item","numeric-id":2079711,"id":"Q2079711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987207$FE5657A1-04AC-482A-84DD-5FDB06FEB667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa86cbfcec9d84b78088e712629fdd586383f1ba","datavalue":{"value":{"entity-type":"item","numeric-id":3305418,"id":"Q3305418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987207$A5FFFBC5-3D7F-4501-A32D-E4F0ABBE44DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6415481719fb829e4fdb1a0fc45c0b74c74c88f","datavalue":{"value":{"entity-type":"item","numeric-id":3305607,"id":"Q3305607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987207$EB9752D9-3D1F-449D-A7BC-F58EDDE96770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42076235377e44e7fa7ea44967b1dda67de38bec","datavalue":{"value":{"entity-type":"item","numeric-id":3858244,"id":"Q3858244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987207$7BDCD752-B07D-4276-B231-EBE50ADBAF1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53c19690be6d404186d9aa13271e376ea6d0334","datavalue":{"value":{"entity-type":"item","numeric-id":5464025,"id":"Q5464025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987207$92CF89CB-D3B8-4C15-9CCB-717C304CC9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbcf020d6a1333d5159033f6bb5c1eedf35fb3e9","datavalue":{"value":{"entity-type":"item","numeric-id":1262746,"id":"Q1262746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987207$3A5DB64D-6A07-406E-BC8C-5E4BD8CC0451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4241650fbf03cc038be0cb92a090570c3a4a3d9c","datavalue":{"value":{"entity-type":"item","numeric-id":5067949,"id":"Q5067949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987207$A855686E-E5DD-4DA7-88E6-478CF7D008F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e74616caa39611ede14f2b9d7a2a8b9d639a8d1e","datavalue":{"value":{"entity-type":"item","numeric-id":3149220,"id":"Q3149220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987207$E8876240-FBB1-45BE-A64C-4B7291ACC853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31bdbe48f3d7d8c958954e8208a905c88798b076","datavalue":{"value":{"entity-type":"item","numeric-id":4053609,"id":"Q4053609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987207$574AC6BF-7F82-4209-8422-3AC66971FAD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57ff840c681a088dbe3a3596fe33505781f288c7","datavalue":{"value":{"entity-type":"item","numeric-id":4472210,"id":"Q4472210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987207$0C676683-76EA-4066-B099-89665AD6212E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a5753d29caedfe2f02e657ac791cf6477760d9d","datavalue":{"value":{"entity-type":"item","numeric-id":4722043,"id":"Q4722043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987207$899F493A-D6C1-41E5-A16A-F848EEB04EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"962ca3ea1701df1bbf0ff2f38c17fca415547f98","datavalue":{"value":{"entity-type":"item","numeric-id":3724303,"id":"Q3724303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987207$27AFC7C1-9C97-4D2D-8AC8-14AFCA7FB5D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97f682e52f55aaebdf22bec6ddfd221354e41df2","datavalue":{"value":{"entity-type":"item","numeric-id":5596218,"id":"Q5596218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987207$94D7AE9D-4AF2-4D30-A71F-84C420C14D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5b21a0cbd9d202c4d858892712685ade0d68231","datavalue":{"value":{"entity-type":"item","numeric-id":5638267,"id":"Q5638267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987207$56903F01-5BC2-4FDA-B650-86394CFE272A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb0b52a23de1574ccbcff90ef2d0aae0db6a2625","datavalue":{"value":{"entity-type":"item","numeric-id":1786806,"id":"Q1786806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987207$31E4839D-AEAA-4420-9600-073A8A89B28B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8950c19f34fd0472203cb454e9ab719f5c818b46","datavalue":{"value":{"entity-type":"item","numeric-id":3305609,"id":"Q3305609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987207$FF7DC4A5-7672-4013-AD5E-131A87E15A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2adf852b49338ef9fa9794f18f193fcbe31a100","datavalue":{"value":{"entity-type":"item","numeric-id":5020167,"id":"Q5020167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987207$23893D79-66F5-4EEA-83DC-420BB0BCC50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f919f8b4d2eb645debd94e27c0809c0d981df70d","datavalue":{"value":{"entity-type":"item","numeric-id":3995890,"id":"Q3995890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987207$0ED3893C-9D00-44E7-9250-197E38F38DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc672e5f9b23734cc80461d8e39de973dffb302","datavalue":{"value":{"entity-type":"item","numeric-id":4296301,"id":"Q4296301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987207$934ED0ED-1628-4AD4-AF81-908CE41D27B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f3dddab2d0747f362f5568fd5142dde52cd1092","datavalue":{"value":{"entity-type":"item","numeric-id":1241438,"id":"Q1241438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987207$C565A6CB-E15A-4B8E-8FFB-2893C0E876BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc0862c45704d588a024a080b5c150ded625c4a","datavalue":{"value":{"entity-type":"item","numeric-id":4465165,"id":"Q4465165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987207$E0D79056-9DC6-4E9D-8B21-E3B5480C21BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f231c78aee0a9996d37683e0e5678e6c7352ac95","datavalue":{"value":{"entity-type":"item","numeric-id":5843995,"id":"Q5843995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987207$675CD146-1FEB-4874-9014-688CC42B4A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987207$D5C91117-133F-45E3-855F-3E79F3C02AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5632db167ef6c092078898c844446230d593bbd","datavalue":{"value":{"entity-type":"item","numeric-id":5677463,"id":"Q5677463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987207$0F06682D-3503-4453-8E51-E0D68F337973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef8a33d690dfbf3c0ebdf0286b762ce84729aca","datavalue":{"value":{"entity-type":"item","numeric-id":5789498,"id":"Q5789498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987207$D521CB07-C2DD-4DED-9D23-55ABDC3C2536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8bf9a67374b43108e736411cfd2323fef9d3704","datavalue":{"value":{"entity-type":"item","numeric-id":3256323,"id":"Q3256323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987207$427EA20E-14AE-4668-B123-944B3EBBB3C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89a71f796b0fa0f21efef8d794381e3bce3ee300","datavalue":{"value":{"entity-type":"item","numeric-id":1255485,"id":"Q1255485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987207$8BC513B0-454B-4970-B1BD-2BB48529A5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aea61d19be0fd503b2e8b946fa9ef44ecdc351b","datavalue":{"value":{"entity-type":"item","numeric-id":1777640,"id":"Q1777640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987207$7003EC1A-1A51-4D7C-8701-02579E480A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6117fd1c9c61a3c81b6a5ca490849c5926d5c479","datavalue":{"value":{"entity-type":"item","numeric-id":2084569,"id":"Q2084569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987207$43A0DDB0-ABE7-4164-BFF4-DBE3F222D15B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93dd44e993956b3eb9eae52702aa409fc6a64210","datavalue":{"value":{"entity-type":"item","numeric-id":6067099,"id":"Q6067099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987207$7EE33C1E-E87F-4AE4-9666-F87B46BD515F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987207$07E085B8-6AB1-4B32-96B5-29FE803ABE39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74eabf2469e4464b01fdad25e8f968c2ff56e0c5","datavalue":{"value":{"entity-type":"item","numeric-id":1310268,"id":"Q1310268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987207$8350092F-6C85-47BA-BE40-6C4100422CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5d5fd92f1ca04342fdad39d66fe038125cb05d6","datavalue":{"value":{"entity-type":"item","numeric-id":5175691,"id":"Q5175691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6987207$230DA45E-D0B0-44D8-825B-16AB494B908D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Variable domain first-order first-degree entailment and some of its children","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Variable_domain_first-order_first-degree_entailment_and_some_of_its_children"}}}}}