{"entities":{"Q6053847":{"pageid":13188002,"ns":120,"title":"Item:Q6053847","lastrevid":39672972,"modified":"2024-12-30T17:01:31Z","type":"item","id":"Q6053847","labels":{"en":{"language":"en","value":"Combining stable infiniteness and (strong) politeness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7753653"}},"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":"Q6053847$D4F725A3-0083-4E35-BE03-ACB0F2DC3F2F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c0fcae7a46058346ec3b8cee1163658d148e495","datavalue":{"value":{"text":"Combining stable infiniteness and (strong) politeness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6053847$7B1B5E8D-D249-40E9-A7C6-768E9FA37128","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb41f2af775ffc8d4180ac4cc8391c284b7ceb65","datavalue":{"value":{"entity-type":"item","numeric-id":528430,"id":"Q528430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053847$2ABF341F-98A4-4901-BA21-5C22ECED521C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15c3e77937a4117931d77ceeaa33fe1a7a5d9cf0","datavalue":{"value":{"entity-type":"item","numeric-id":1682295,"id":"Q1682295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053847$2FF466B5-F794-45CD-951A-36B0E5D74D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28d2abcbf491e57c8b4eebf23b3e8446f4e5bbb9","datavalue":{"value":{"entity-type":"item","numeric-id":831918,"id":"Q831918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053847$E0A809FF-C1CB-4F30-912C-AA991FEC21A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84952d23570c02a49b2cbd6b6731071617699380","datavalue":{"value":{"entity-type":"item","numeric-id":518398,"id":"Q518398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053847$4A1A2176-B951-48FC-B682-FB03D780C541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad77f9f95b13763d1bf3e18f3ef5b6900b795f74","datavalue":{"value":{"entity-type":"item","numeric-id":518400,"id":"Q518400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053847$15D138C0-C9E5-4C5B-B062-A86CE6EB2CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"947e5398223830d4c80e75386dbd3c8e6dd67f1d","datavalue":{"value":{"entity-type":"item","numeric-id":429585,"id":"Q429585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053847$25BC8DA1-CF59-471F-A38B-CC206EABF500","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053847$E27640BA-A0BE-498B-A88A-D936A4965017","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc38c107bfbe3d21f38c865385857570a4bd451a","datavalue":{"value":{"time":"+2023-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6053847$7A5B8062-44B4-4B35-A3FD-9A0CD93FD5A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6053847$5FE07981-8703-4909-8C85-F57B27ADB15A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"920573c2f2a30c3f95ef8ee5429805ad7a375187","datavalue":{"value":"7753653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6053847$33329CD2-C348-4F16-B0BD-8C5DDAB56D6E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1254a7c01d2970b87da2854c1fde40c268a1f55d","datavalue":{"value":"satisfiability modulo theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6053847$7137C7C1-BA3F-4305-9E1A-A0312FD40984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c97c87aad358aaa4a159991a487a984d3a19cc4","datavalue":{"value":"theory combination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6053847$78E485B2-E7FE-4C17-B266-4A6ADA286DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"685e1f7fe1002c958f66cc9e40dbb6f34e137f2a","datavalue":{"value":"polite combination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6053847$0ACA2E09-06DD-4E94-98CF-6624D1F236B2","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":"Q6053847$DB2460C5-88AC-4962-8D2C-D30054645AB6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2577059b129276cb080767dd5c2f8d3f03c465e0","datavalue":{"value":"https://doi.org/10.1007/s10817-023-09684-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q6053847$597EA4F5-F76D-42D4-B789-A3F0B10C6A98","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"50c6e9d0e7adf01286720685e58c8c9937a9e11f","datavalue":{"value":"W4387034993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6053847$96A7BF1D-FCCD-420B-8A08-FEE292C84B30","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6820d466f20a132975882100c6125897eef0f140","datavalue":{"value":{"entity-type":"item","numeric-id":5309032,"id":"Q5309032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053847$C4C0362B-B9F5-41DB-8F47-FAFACCB1DEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de7fab590de2ed4572a1cf7e503b1935d266d2c1","datavalue":{"value":{"entity-type":"item","numeric-id":2870128,"id":"Q2870128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053847$8D3B0BF3-A829-4FE6-A929-F32119906AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45283f2292d97505b407a0eb913d558c728c34a3","datavalue":{"value":{"entity-type":"item","numeric-id":682380,"id":"Q682380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053847$41671FA1-6DA2-4BF1-A566-9BEFF61705E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bbed57047570d97d4afd4eabda171670dfd2346","datavalue":{"value":{"entity-type":"item","numeric-id":2703808,"id":"Q2703808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053847$2BEE0887-F5C6-4C90-9C54-DCFCFE107C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5c3c1d2d8bd223898d76726cee233eaf79c3109","datavalue":{"value":{"entity-type":"item","numeric-id":3655205,"id":"Q3655205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053847$C9A1C21B-79D7-40ED-BA7D-21688785BAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d28d1219e29c4a80580daac11ef44292c3abd11a","datavalue":{"value":{"entity-type":"item","numeric-id":4933320,"id":"Q4933320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053847$470E995C-9C1A-4F09-AEA8-CE9D1245034F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dd85db4cf8f5ea1fa0825bfe703e47067145f53","datavalue":{"value":{"entity-type":"item","numeric-id":5758134,"id":"Q5758134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053847$869894AE-2D6C-4635-A410-AD3C04840072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053847$C8E4F4E6-F5AB-454E-A535-981D774999A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55234d08de3fc0bb2ef7aa7f9a37f83d6ee9b9e7","datavalue":{"value":{"entity-type":"item","numeric-id":5491892,"id":"Q5491892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053847$66DA44B9-EDA6-4C5E-A47B-58ADDA4BCA42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b5ce4d96feef6da0c983634460c504a79b4fe91","datavalue":{"value":{"entity-type":"item","numeric-id":2096449,"id":"Q2096449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053847$822363F9-D739-4CCB-B400-C3679D91AF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05e0140ae343c0411fe22201b29af2a0ec69115e","datavalue":{"value":{"entity-type":"item","numeric-id":2055852,"id":"Q2055852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053847$BB3ED28F-5B2C-4A92-B211-18DA5A988F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28039a446a03faca9d112ce464bbb91b9adbe1ca","datavalue":{"value":{"entity-type":"item","numeric-id":5394160,"id":"Q5394160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053847$5C841F2B-F076-44B4-A2EB-7D6D9040171A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6db437328f2b7da411f41250c356bdb6824c15cf","datavalue":{"value":{"entity-type":"item","numeric-id":851136,"id":"Q851136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6053847$8E0E1D5F-8C7A-45B3-8EC1-D54414B2C3A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a83b87c7d470c44a912b8247dda35c8bc0274c07","datavalue":{"value":"10.1007/S10817-023-09684-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6053847$2AD926E5-83E1-4BD8-B073-13C98D99F031","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6053847","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6053847"}}}}}