{"entities":{"Q6091635":{"pageid":13225942,"ns":120,"title":"Item:Q6091635","lastrevid":58671894,"modified":"2026-04-06T06:40:33Z","type":"item","id":"Q6091635","labels":{"en":{"language":"en","value":"Generalized effective completeness for continuous logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7770954"}},"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":"Q6091635$A507D7D0-9526-438C-8A78-E9C1E3374DCD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3da0cb87d85cd99e13c365bbf191912f0ef54dee","datavalue":{"value":{"text":"Generalized effective completeness for continuous logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6091635$D935267C-4D2A-49D6-9985-20313FB33459","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"33fa00db87827c11724d8a1355500a9a7034d47b","datavalue":{"value":{"entity-type":"item","numeric-id":2930865,"id":"Q2930865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091635$A17CFA2C-09A3-4F9D-B373-1560451DD333","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d5599fce1cb5292e689d0c1c23ee73798b9287a7","datavalue":{"value":{"time":"+2023-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6091635$43AD37A6-0337-4177-97C1-D4C87DC31B28","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e63a1da7ecc58b2a3b4c855d1739e8521f7abaf","datavalue":{"value":"https://arxiv.org/abs/2202.11151","type":"string"},"datatype":"url"},"type":"statement","id":"Q6091635$F50E8C8F-E6A3-4EA2-9439-92EDBC21AE25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091635$9E057123-9929-45EC-A44C-1CCF031C2F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d21a69e3457646e46a9bbf0d57100c034be8348f","datavalue":{"value":"03D78","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091635$F52FADB4-3BE0-412E-823F-CEE25654DB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091635$B29CD8C2-F687-42B1-BB4D-B8D0A1EF412D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091635$36B459A6-4860-4CDB-8929-C699D996C8A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0432690c57295fab2e6e21b652bf1c287eae4689","datavalue":{"value":"7770954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091635$50881A21-3263-4DE3-BF3E-EB64FDBEB652","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6ab8d7fe9dae0a615cced9d73e598d34e85eb60","datavalue":{"value":"effective completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091635$23206A06-D88F-4D05-A753-A550A837CCA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a2a96d016586cb198f7d32c0e864c0a301f3790","datavalue":{"value":"continuous logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091635$E53056A4-C2DA-41C8-B12E-6B7EE7F27488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2751e234d63f1493e30fcce35b4e4be978b8cb58","datavalue":{"value":"metric structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091635$860445A1-8143-4407-9D31-D38F41496EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"056a12187fd434af6e4a37aa22db080ab8aa8378","datavalue":{"value":"computable presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091635$59ABD80E-37F7-456E-BDAD-EFB8EE33BA0E","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":"Q6091635$EE56B7C4-BAE7-405C-A987-D6A74157DBA9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c8e3655b02a7dd8c2b860c524eb7f6dc8fb913dc","datavalue":{"value":"W4387006460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091635$F82834DC-F0A9-479D-A3A5-14DF7E85D86C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"18f752ae246ff00bcbe470e385722e1fbc5aa290","datavalue":{"value":{"entity-type":"item","numeric-id":3602612,"id":"Q3602612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091635$B182ADD6-0032-47E8-BB6D-3C0E8C238C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"516de7c1a2a6d91e822ee36cdc0100494c8e920e","datavalue":{"value":{"entity-type":"item","numeric-id":5190194,"id":"Q5190194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091635$33299F56-A175-4F63-8058-3388D1661C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bfff65a126464fc71cfd36aef4d94639f604c53","datavalue":{"value":{"entity-type":"item","numeric-id":3053471,"id":"Q3053471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091635$E192AF7A-A830-4AF9-B72C-3092BDDE9C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dd454f5a693b85dd57b75dde51c5b28e50de5bc","datavalue":{"value":{"entity-type":"item","numeric-id":5855756,"id":"Q5855756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091635$0CE1BC72-74E6-47DB-92BA-6F8556389D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb88cb3b597f93ff4a77240e4b729616d44830f6","datavalue":{"value":{"entity-type":"item","numeric-id":541224,"id":"Q541224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091635$BB91E3CD-538E-4AEB-B13D-DE57CF447A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d64b54b1d75561bfbbfe1939a47a795068aea96","datavalue":{"value":{"entity-type":"item","numeric-id":636319,"id":"Q636319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091635$9D1AC732-720F-4907-8E6A-2A8B180BB9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"523848864b10af8cea4c55e5ebb38a0cda008de2","datavalue":{"value":{"entity-type":"item","numeric-id":5145850,"id":"Q5145850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091635$5A4E16C7-13A3-4A61-85DB-5A9D78EC1DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"910210f09b84ed308ed167c45f853ff10108e190","datavalue":{"value":{"entity-type":"item","numeric-id":5407041,"id":"Q5407041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091635$6E3FC0E2-BC66-41A4-A33C-25020A80DDD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f10b4d88e93baca28a79f2b36e81db13dcb827","datavalue":{"value":{"entity-type":"item","numeric-id":3869329,"id":"Q3869329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091635$0FB6A3CE-E8B6-4014-B3D0-41AB508C465C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e8a62cd46463c62f9ff883109d60c4695ebc92","datavalue":{"value":{"entity-type":"item","numeric-id":4485693,"id":"Q4485693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091635$6AD61115-4CB7-44A0-982E-E18BA4A4FA68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b301a74f081617feac0d2f9668a54f25c2da6b3","datavalue":{"value":"10.4115/JLA.2023.15.4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091635$60EB5D1E-101D-44F6-9E46-E5D603D2D8A2","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":"Q6091635$2FEC03F0-7A69-4168-93CC-ACFDB6CF4384","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6091635","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6091635"}}}}}