{"entities":{"Q4520522":{"pageid":6550115,"ns":120,"title":"Item:Q4520522","lastrevid":28699397,"modified":"2024-03-05T15:12:40Z","type":"item","id":"Q4520522","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1543067"}},"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":"Q4520522$80D2AB89-C23C-47FB-B719-BA3642DD32BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5340cab099839ae55d014c270f77276843a3063","datavalue":{"value":"0963.03506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4520522$80EA6FFF-1A8B-4A31-96A7-66B9ACF810D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64c5e93c8542516a588e5c718357172e4a4b9108","datavalue":{"value":{"entity-type":"item","numeric-id":220748,"id":"Q220748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4520522$8CB251E8-EF61-4AD9-A57F-1C01BA9E4BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"908230505203eccb837b53bb6b9c33b396a9a16d","datavalue":{"value":{"entity-type":"item","numeric-id":188054,"id":"Q188054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4520522$6742167C-67E4-457A-B699-3029AD3599E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8dd3d0fc585eed54c845d3fdbd41c1d291c43a14","datavalue":{"value":{"time":"+2001-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4520522$DAC1C886-3E3D-4532-B51A-513A410C6412","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fde52881ccef3e3c07eaa1242c01cb0c476057a6","datavalue":{"value":"http://www.jucs.org/jucs_3_11/effectiveness_of_the_completeness","type":"string"},"datatype":"url"},"type":"statement","id":"Q4520522$3DC09314-E54A-4D79-8DB8-379A641AB2AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4520522$BB09C28B-9883-499B-AC50-C448AB068AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4520522$099EF58F-6FF9-4203-A3C9-230E21923553","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f87da1b5371b972a79bfa8c38550d133b51a5548","datavalue":{"value":"1543067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4520522$F668533F-0FD4-4241-9AB3-338EF538B3A8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4520522$B7B55001-2F3D-4B7B-98D2-8ADBB3D3389E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4520522$982BD57F-EE2D-4B82-B54E-02FF5073E55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0249355a8cdf1f888808e13250c420c84fb4c63f","datavalue":{"value":"jump operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4520522$7FBA4B77-7DB8-4ED4-B59C-7D25455B0C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20caaf0551fe84fb69eae2f4da361eb77759b92","datavalue":{"value":"intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4520522$3BA17E0B-38F0-43AB-953A-A2347DFD0CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4aa24d512d701aaef0328bc3e45fbe7d7294ad24","datavalue":{"value":"effectiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4520522$C15C1C78-EB57-4B39-B277-F6FF74E5A645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4520522$7804658C-2AD8-4AE0-8673-CA050FD9451A","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":"Q4520522$55EF2DD5-0CDC-4439-8AB7-5968D527578E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4520522","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4520522"}}}}}