{"entities":{"Q4204136":{"pageid":6233737,"ns":120,"title":"Item:Q4204136","lastrevid":40710994,"modified":"2025-04-04T10:47:43Z","type":"item","id":"Q4204136","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4123706"}},"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":"Q4204136$9AE781ED-8D98-4178-9B51-F7DF39084119","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e7da9e82bc9cc9355988901162a9df2d2660a5e","datavalue":{"value":"0686.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4204136$E93E867E-9997-4043-A58B-C585EF7DD868","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71cf2125f88a2e6a5d02e2bc90d0a3c9e48c5df0","datavalue":{"value":{"entity-type":"item","numeric-id":4204129,"id":"Q4204129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4204136$4F348FFF-F97C-48DC-ABD3-6ED5F3666A5B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q4204136$6F01A999-CF77-4FF6-AB64-177CBE8FBECB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4204136$557B9797-D3A4-4B75-ADBC-3568C13DE734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4204136$CB443174-CE31-4CD6-8C73-1D01F382F955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4204136$53EAECF4-39E4-4719-B60D-17F84CA3EA6B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52cab9472302faab252bf7128fd39a64d31bb61d","datavalue":{"value":"4123706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4204136$27C2E6B3-A4DC-4585-8A5B-C9C6C318E59C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a2ad631da6fd09700ac0d0696916358ce0e308f","datavalue":{"value":"unbounded nondeterministic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4204136$C62A7087-E42D-40B6-B617-0237A95FC996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e6779de40a65cbdb108635b5658c0b54ceb3619","datavalue":{"value":"while-programs with random assignments","type":"string"},"datatype":"string"},"type":"statement","id":"Q4204136$DF1B4AC6-915B-4BD8-9CD1-CC2E82637964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4204136$52CA6216-2A5C-44DA-9726-596618EADFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f78ff9a60b74189b2daec43f91e02e6e79fb14f9","datavalue":{"value":"well-foundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4204136$00687A0D-28F6-4B95-806D-4855B8FA3605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4204136$5046AFBC-276E-44B1-B1DE-C5529538BA51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c99b10d223c8f468850eac937c80c61cd3d1c484","datavalue":{"value":"Henkin semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4204136$EBC8A41E-A1B6-4C5F-9FF0-020E65F162F5","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":"Q4204136$72432754-0807-4F94-93D8-8AA5DE6036EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40985376da7b1e94294f68498d0761890141b60b","datavalue":{"value":{"entity-type":"item","numeric-id":702093,"id":"Q702093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4dbc49def2126dd72fe75abee334978f716ddc9","datavalue":{"value":{"amount":"+0.9353249","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4204136$337D7022-A6E1-45FA-8DF4-6FFE670414D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82f2203811f135838207bc277e09b30b696bbe4d","datavalue":{"value":{"entity-type":"item","numeric-id":3726088,"id":"Q3726088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2498500e4ab7fef2400d1b41266b4ad4a235276","datavalue":{"value":{"amount":"+0.9269324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4204136$7A419E10-40CE-42D1-A87F-75767B7E0F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b56546806e841c6fe1c457e33c7e19adc61eb0a0","datavalue":{"value":{"entity-type":"item","numeric-id":4411818,"id":"Q4411818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd32f59be6360de6f3e155c10d995afea59046b6","datavalue":{"value":{"amount":"+0.9212097","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4204136$B3693F5D-DE81-43FF-A31C-FFEF4553A464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3631f452966398c4fd0ee80df6824638d931703","datavalue":{"value":{"entity-type":"item","numeric-id":3719799,"id":"Q3719799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"419ddec84a8d59957020e32055f59f053102b141","datavalue":{"value":{"amount":"+0.9190814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4204136$E6F7F495-4B82-448D-A1B8-964AE0FCB29B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7a6c2b5c7dbf2c0320ccb96a9147c3e9cb2fa32","datavalue":{"value":{"entity-type":"item","numeric-id":3348897,"id":"Q3348897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e4f07d6171d331d7da5fa841e83614762905a9e","datavalue":{"value":{"amount":"+0.91894704","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4204136$1B342E4A-3C84-4255-AB60-2D67BA1621C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"254b90133dfebce9d9c78c0d556e45f61da83c06","datavalue":{"value":{"entity-type":"item","numeric-id":1091387,"id":"Q1091387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3a7b87238743b471f2cada3b1e1e69c6b4e3af9","datavalue":{"value":{"amount":"+0.91777176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4204136$BF496C3E-F2E1-4990-ABE4-EBD8373D8D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c5294fb15f1dd9d57c505f2e1f60aef3294963d","datavalue":{"value":{"entity-type":"item","numeric-id":3769956,"id":"Q3769956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c38d112084861bee10bcb23b5ad34a17f7f5316","datavalue":{"value":{"amount":"+0.9151472","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4204136$69C49842-A992-49B1-88AB-465AB146D277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3974290fb3d3bbaefc513725b73130a2fb849819","datavalue":{"value":{"entity-type":"item","numeric-id":4222772,"id":"Q4222772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0ec2a81a8417b24209a3ff34123bf1bf756f84f","datavalue":{"value":{"amount":"+0.9106225","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4204136$5D7E56C0-14DC-40A3-9065-8EC451587A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19682237f5a87ef8e27d9fc3230804b28d67d4c9","datavalue":{"value":{"entity-type":"item","numeric-id":790610,"id":"Q790610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d22b129a733e60a79a8946da4ea3cfe873ab575","datavalue":{"value":{"amount":"+0.9060874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4204136$7185EB55-D8CD-479C-B37C-33E4745A7AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b68c94ca73be5de3604e39c67b127455b229ad6","datavalue":{"value":{"entity-type":"item","numeric-id":5475783,"id":"Q5475783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21fddf57c84e31b22053e21cf9141aa641bdeed7","datavalue":{"value":{"amount":"+0.9016957","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4204136$31B4CE96-86C0-4AFB-A767-58834AE527FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4204136","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4204136"}}}}}