{"entities":{"Q3586015":{"pageid":5615919,"ns":120,"title":"Item:Q3586015","lastrevid":51070715,"modified":"2026-01-16T12:19:05Z","type":"item","id":"Q3586015","labels":{"en":{"language":"en","value":"Halting and equivalence of program schemes in models of arbitrary theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5779218"}},"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":"Q3586015$4E2CB39B-6EFA-4BDD-A06B-806906F10FA7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"738d831756c6ac1a249a2e370e347a2fe3216937","datavalue":{"value":{"text":"Halting and Equivalence of Program Schemes in Models of Arbitrary Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3586015$98529C7C-9733-4E80-B7C6-042B47352B68","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b6f5f59b3cafa69399a9964e2e4b36ab2483e43","datavalue":{"value":"1287.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586015$BA38A091-3AD1-4B06-BF10-097776A883E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa1812cfb9bb3c6a747116206aab67197ff1f424","datavalue":{"value":"10.1007/978-3-642-15025-8_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586015$C2C3D9FD-299F-4B3C-8F58-9CE54205263E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60a24674fc3fdfdb20ce395c4f54c3ddf31dbed4","datavalue":{"value":{"entity-type":"item","numeric-id":283763,"id":"Q283763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586015$5526D381-40E1-46DE-B5AA-3823CF381DD1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cdd169c7d233759e4f71b10b3d5a636c6803d4ba","datavalue":{"value":{"entity-type":"item","numeric-id":3585994,"id":"Q3585994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586015$97D03627-EB02-47C1-B700-A23052E1AA62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c11c2a23d7cae41957cb0a13f9b87e3313a15a8","datavalue":{"value":{"time":"+2010-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3586015$C954ED69-687D-4E0D-87FB-AA1BDD973734","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586015$96D075BB-13B6-4281-A0E3-DC27AE3565AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586015$F034D92A-FE67-4F81-8AB9-F8A09564F355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586015$17C056CA-7A65-4D2E-8FFD-6FB10A692428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86e7d9065663fa3ffd8f6c70df93df9f4742e385","datavalue":{"value":"03D28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586015$C50AF5A1-51AD-4D2A-ACE1-6E5749E524D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586015$5C0B558C-68AF-4AB7-BBBF-6A9D84500DC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ea445c97617b8c9f73e1ec8cbdb0d38fd9078c6","datavalue":{"value":"5779218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586015$88984959-FED9-4EDA-A6A2-E043E908286B","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":"Q3586015$821F5EAB-F546-4905-83BF-C9120D3DA8BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"edde2f3cd51b760a1e2172b3979acb8595e00512","datavalue":{"value":"https://doi.org/10.1007/978-3-642-15025-8_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q3586015$FE0A8C4E-2B29-4BF4-9C0F-FD2C793E789D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c783edacab552b1ecfb627cfefb6951cf13a44f3","datavalue":{"value":"W1760218648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3586015$A0772128-0CE1-463E-9E2A-248514FD371D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"29035f06020bdf6a821f5c6e4a2fac381017baf3","datavalue":{"value":{"entity-type":"item","numeric-id":1256445,"id":"Q1256445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586015$E634139A-D183-4073-8873-45EFFE09D82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"451e4670e349b30bf00735806c505c29fb4dea2b","datavalue":{"value":{"entity-type":"item","numeric-id":3719820,"id":"Q3719820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586015$5CAD2286-E33E-4A2B-9F9F-C93965DFD6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586015$104F2C50-262F-4A81-BD84-250E16F5A56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3586015$F9C5FB3F-A9D5-463A-A543-7449F1D6F1DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"543e6e944723c9248c3553bcaea6ec203f90f692","datavalue":{"value":{"entity-type":"item","numeric-id":4808684,"id":"Q4808684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"292d19ad928d012f3e8f24432dc0d85041f120dd","datavalue":{"value":{"amount":"+0.786831796169281","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586015$8D90A1ED-B4B6-494F-AF87-53047CE7FDDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d65f457eae5826196c1232d951ca6c5c35e927d","datavalue":{"value":{"entity-type":"item","numeric-id":2432964,"id":"Q2432964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41d131c867fe9c964ad8752402186c0b3fb83676","datavalue":{"value":{"amount":"+0.7403174042701721","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586015$1BDA4A39-A994-48AB-AB7D-DA831DE6D143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5adbd5ecc0eac3a1334d55121f7b6cf13b741b35","datavalue":{"value":{"entity-type":"item","numeric-id":4871475,"id":"Q4871475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acb813800e9a8d382dfc9e85c6d7f380c8e8fc66","datavalue":{"value":{"amount":"+0.7332820296287537","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586015$4C3F685E-04CC-43FC-AA71-DA40B1805195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e17d9bb7915d81cb4450b046015695692bdc0457","datavalue":{"value":{"entity-type":"item","numeric-id":3469081,"id":"Q3469081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acb813800e9a8d382dfc9e85c6d7f380c8e8fc66","datavalue":{"value":{"amount":"+0.7332820296287537","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586015$12A2F8AE-F613-4DAA-BE0B-FDEB1E9117F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b388380c6a9851a6fc43534a726a1804225b3bf7","datavalue":{"value":{"entity-type":"item","numeric-id":2946675,"id":"Q2946675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70ad4a4d5b8d5d855c6d4958f6ba7f1f9445705e","datavalue":{"value":{"amount":"+0.7253097891807556","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3586015$E2511DD2-13CD-472E-9410-8DA3D1A03CB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3586015","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3586015"}}}}}