{"entities":{"Q1073787":{"pageid":1084539,"ns":120,"title":"Item:Q1073787","lastrevid":69574668,"modified":"2026-04-13T07:56:33Z","type":"item","id":"Q1073787","labels":{"en":{"language":"en","value":"Completeness results for circumscription"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3946107"}},"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":"Q1073787$6DF23691-D340-443F-939E-FCAD0EDA65AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c1899337a77a2c65416931902c1990c5bd52741","datavalue":{"value":{"text":"Completeness results for circumscription","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1073787$A52751D0-7F9A-4541-B146-0946B4A4178C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d7f369a2e86c16c5a6eb315516cbe85d752b57b","datavalue":{"value":"0589.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1073787$C9373666-209C-4837-9236-7ADA3B62E23B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89848b03767387110a4377c18ba6eb2620f80f75","datavalue":{"value":"10.1016/0004-3702(86)90029-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1073787$B11C3762-943F-4C9C-8C2B-370C35E10711","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f789e86a649f9baa5ae6b93671f4eac0e182522","datavalue":{"value":{"entity-type":"item","numeric-id":625695,"id":"Q625695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1073787$8FAADDAA-940A-4352-B3EE-766D74EFB3CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2a1df6940ad8b72a28bea22198189f244677cda","datavalue":{"value":{"entity-type":"item","numeric-id":1062475,"id":"Q1062475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1073787$67B71A45-1FB4-4C0A-8F29-CEB5DDA9FB56","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1073787$CCECA06B-7103-453B-81FF-D8EA63552EF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1073787$583FE78E-10D5-41D1-A80F-12B091270A95","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8740659958b85c84451dc4173002ee54798caf2b","datavalue":{"value":"Es werden zirkumskriptive Beweisbarkeit und Folgerung definiert. P- Vollst\u00e4ndigkeit wird f\u00fcr einige Klassen von Theorien bewiesen: f\u00fcr P-endliche, f\u00fcr explizit-P-definierende und f\u00fcr disjunktiv-P- definierende Theorien.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1073787$74D94C79-AE1F-4F86-B322-AC4A6C7C6BD6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1073787$32FC7012-E16F-49CF-9201-8CD58C14653E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1073787$1C0D947A-08CE-46D3-8D34-DA121BD298B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1073787$57850AF7-92CA-4C09-A4A5-8190A94FF59E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7f15f004bc332d5b76605e053e4f961048acf42","datavalue":{"value":"3946107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1073787$566F25CD-63AA-4457-8E4B-EA6064FB4DF7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"adba8b3158d5ac0bcf0a5ba3e6acf4b16e18aec8","datavalue":{"value":"minimal models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1073787$17EE1029-E468-45C6-A59A-DE6D7FAC4BEA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1abe44d7226d9c92045519e02ae380a3c14e8800","datavalue":{"value":{"entity-type":"item","numeric-id":1188507,"id":"Q1188507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1073787$59E05E16-A978-4A03-9F86-21BE26A8CB9A","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":"Q1073787$144D7433-C4CC-489E-87DC-05B93E0E5BF5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"40659b174de964225786ec512ae8f29bcb91d417","datavalue":{"value":"https://doi.org/10.1016/0004-3702(86)90029-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1073787$33B42673-65E8-4892-98C2-B126B948B80C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6cd1956232f33ec69b2957c086baa1d09f0b55d0","datavalue":{"value":"W2005984922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1073787$F47C7040-84AA-403E-89D6-31A0D9A6A898","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bba4cd235346de0bc02a623953674e572b92e157","datavalue":{"value":{"entity-type":"item","numeric-id":5916300,"id":"Q5916300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1073787$75D52957-756C-4C16-A39B-6787DCDECC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec95e0cc5f6be9ceb84b4471952fde3499dc8b7","datavalue":{"value":{"entity-type":"item","numeric-id":1140442,"id":"Q1140442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1073787$4D4138A0-6556-440C-B952-64FB57ED88E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3d93ec1cd5b8623c5d3bac3d4170e4adde14235","datavalue":{"value":{"entity-type":"item","numeric-id":1819950,"id":"Q1819950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1073787$043728D5-39E4-42E7-A23A-44E69D54327D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40ffc6b2c1d0c46bcf3a582f7c34bb6301f43675","datavalue":{"value":{"entity-type":"item","numeric-id":5750390,"id":"Q5750390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1073787$F531C26C-9A3C-49B8-8C5A-60C132E7BAC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"423afc99b15b62a04b1a8a934c14a449f9640ab9","datavalue":{"value":{"entity-type":"item","numeric-id":1140440,"id":"Q1140440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1073787$FCBBD985-335B-4DA0-B69F-D108DF897629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2f1ca2c50c4664b32c07d84a689e4d82d9d4b29","datavalue":{"value":{"entity-type":"item","numeric-id":3702535,"id":"Q3702535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1073787$044D3BD8-A761-4699-BC80-B764E47825A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc9f774642fa457c274822192824fe4288fd527c","datavalue":{"value":{"entity-type":"item","numeric-id":3883571,"id":"Q3883571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1073787$C6C6ED11-3E25-40C7-9F63-FA2F41276683","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness results for circumscription","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Completeness_results_for_circumscription"}}}}}