{"entities":{"Q3119165":{"pageid":3129881,"ns":120,"title":"Item:Q3119165","lastrevid":80020952,"modified":"2026-05-06T15:15:38Z","type":"item","id":"Q3119165","labels":{"en":{"language":"en","value":"Combinations and completeness transfer for quantified modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6012732"}},"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":"Q3119165$5BE72B85-6655-4D70-BBCD-FDEB85327B2B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"151f1cd67be3ae3868c2cbf7c12351f7c0edd4f0","datavalue":{"value":{"text":"Combinations and completeness transfer for quantified modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3119165$8EFFE120-434C-4E04-93D8-8C73A6BF8180","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"431f2e039a1e6350225a10591c2d704943da5897","datavalue":{"value":"1243.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3119165$07297535-7544-41D3-B562-F779BF9C0A95","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbd39c0b2779a111eca3f83de9735e60b421e825","datavalue":{"value":{"entity-type":"item","numeric-id":507546,"id":"Q507546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3119165$FC2C3C3B-F250-4E92-97B2-8C54ED555AC1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5756a7890be8beb6e8cfe5a567e07d02b03079fb","datavalue":{"value":{"time":"+2012-03-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":"Q3119165$4A0D7A3E-CCF0-41AF-81A7-61D45D280A52","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3119165$424E15BF-FB57-4C05-BE43-2A618F13A074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3119165$9776306B-5947-4DB0-A46F-13437B131354","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d73e918891860c848243b535efb086d223ee239f","datavalue":{"value":"6012732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3119165$E5581C34-3033-4324-AD09-D1B69B023C10","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcb6012d8ac267378116baad7a07472b833a765e","datavalue":{"value":"logic combination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3119165$6F4412CB-CAC3-4A47-896D-700066C29313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f03f3e84760c90f7412f657674fcdcfaca409b93","datavalue":{"value":"fusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3119165$1E07F679-86F1-4C87-859F-BFADDBEFAB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0840730a5d53e261ac12b4bbca85f67b901dd53b","datavalue":{"value":"completeness transfer","type":"string"},"datatype":"string"},"type":"statement","id":"Q3119165$40CD4776-A94C-4BCA-B7F1-A7BA70FE0E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"527def781fe17e70652b5ba1af79e59518042825","datavalue":{"value":"quantified modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3119165$86E28FBB-FC95-4039-9C49-093D8910E528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80e1e035c9781c0e9381d19949191669e463eeb0","datavalue":{"value":"ambiguous language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3119165$9334753F-204F-4A1B-8E31-AB46A410E440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbd29a2b614bff9d4c87db1c595d3b800cd18ed3","datavalue":{"value":"worldline semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3119165$89976F10-C79F-48CB-8D0F-2423251E2D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6668153ee1588819301ad70e65fd23b01f6cb3b","datavalue":{"value":"non-rigid designators","type":"string"},"datatype":"string"},"type":"statement","id":"Q3119165$B8A144FF-E8E1-4247-A8FF-BBD268C238A6","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":"Q3119165$7B737F56-DE90-4B55-B712-E232D0B909CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd49e98bc2eec85c22314ceb389bda7615aa82ca","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzp085","type":"string"},"datatype":"url"},"type":"statement","id":"Q3119165$34F7AAA5-F226-4BE8-9951-97F71F4B93F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa81d302dc4548874001aafa91208c10fbffdf74","datavalue":{"value":"W2160035412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3119165$ECF33A91-D445-47B3-BEA9-FC05E9BBF184","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"20b7bd5131e2610cacdf1334c108c137e6740cbc","datavalue":{"value":"10.1093/JIGPAL/JZP085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3119165$F111151C-D1FD-4036-9DE2-ED0685E5D398","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3119165$B6315EF0-BEB4-41E0-97AA-9DD36D9F4FDC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04d979d59a9e58c7a6537acc54eeea4fa86ab922","datavalue":{"value":{"entity-type":"item","numeric-id":4218020,"id":"Q4218020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e06a08f83819ededb0a8e42da7af90bb59896b8f","datavalue":{"value":{"amount":"+0.8065152168273926","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":"Q3119165$18530C44-C326-40D6-B285-293E92902B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf8ec5e218234488c4ceb54e92027039b8c0495d","datavalue":{"value":{"entity-type":"item","numeric-id":1372357,"id":"Q1372357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e06a08f83819ededb0a8e42da7af90bb59896b8f","datavalue":{"value":{"amount":"+0.8065152168273926","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":"Q3119165$45A1D7A5-D86B-4361-BA9A-35CFC96226C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bf2312a039ccc6673779f11dd114fee45c73172","datavalue":{"value":{"entity-type":"item","numeric-id":1604670,"id":"Q1604670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baaeb4d5ffa20bd0c3528e757e7b3d72c9070d8a","datavalue":{"value":{"amount":"+0.7797472476959229","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":"Q3119165$C4A3E2CA-8E96-4D61-A497-81F3BBFFC3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"496cdbda866971990cf87d007532796aa5cd22b2","datavalue":{"value":{"entity-type":"item","numeric-id":5465437,"id":"Q5465437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ceabaaa1be0766097bd6ea744f368181a5326bdc","datavalue":{"value":{"amount":"+0.7558063864707947","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":"Q3119165$1445AC95-9E6B-4108-9639-2CCBB4EB355A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48b3f3185786afeae3bf09860819bafbf7f8da07","datavalue":{"value":{"entity-type":"item","numeric-id":4779584,"id":"Q4779584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c8db26f183c0b7074c93bbc9ebc2b479e5027ce","datavalue":{"value":{"amount":"+0.746815025806427","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":"Q3119165$50222E50-D0C5-47C0-9A86-84CAE4F77142","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combinations and completeness transfer for quantified modal logics","badges":[]}}}}}