{"entities":{"Q4842534":{"pageid":6872114,"ns":120,"title":"Item:Q4842534","lastrevid":40772741,"modified":"2025-04-04T15:40:36Z","type":"item","id":"Q4842534","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 785045"}},"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":"Q4842534$31AA8A69-F77D-4A7F-85BC-C761025CD0D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5796f8fa1733cd9085f1a88ca17e31211f2ac73f","datavalue":{"value":"0831.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842534$1C42EDB2-5D10-4DA4-8F46-C5559C126951","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3303abd65df3fecd438bf41c7515333e9131b3c5","datavalue":{"value":{"time":"+1996-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4842534$4B7E4A8A-C244-4135-8035-EB22F1624621","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842534$CB6EC8E5-5DD3-4513-B9FE-FDDAA8E2D7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842534$41B0E87A-E581-4EC1-B204-E146F1F5E07E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d697ba70bbf8e5819198690e49016e39844f5d72","datavalue":{"value":"785045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4842534$078FAF91-BD43-4ACB-A514-9EFE2CA7AA0A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e30d08a08994e86bacc2c2e72faa9c2f63581abf","datavalue":{"value":"problem solving environments","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842534$AA8490BD-B9A3-40F7-BA7D-2DEF6E2B779C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842534$BAA7FB6F-84ED-42B3-A249-D4BC92BB66A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1d0d92d7574ac6e8db41d00069604a8d94c1750","datavalue":{"value":"Nuprl prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q4842534$53A48FD0-2E31-4381-92E6-608927DBB9D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9f99e72dec046038a5377ceee67d8841bab629f","datavalue":{"value":{"entity-type":"item","numeric-id":1051423,"id":"Q1051423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842534$241E0B83-A22F-4427-9BEF-C18B8E4B4DCF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4842534$9DF04D07-655A-4D9A-A58F-42894E6936B8","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":"Q4842534$05D3ACF3-F6B5-4C4E-9B80-827A520AE81E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b67401bffb23e0e9d7d269ed035ac9aecca0033","datavalue":{"value":{"entity-type":"item","numeric-id":4594249,"id":"Q4594249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3af8d2e169bc360d06a4a99722a4eacf0a54fd1","datavalue":{"value":{"amount":"+0.8972161","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":"Q4842534$A996098E-AF58-4333-990D-AA111AED3A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"250a748e2c5b8856913fb30a63685f780a6afee2","datavalue":{"value":{"entity-type":"item","numeric-id":5261277,"id":"Q5261277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c863f7c7cd242d2dbb596eacf0c42400e7a5f3c2","datavalue":{"value":{"amount":"+0.87476975","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":"Q4842534$29746379-90B3-49A0-A245-7582731C805F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7873dcbe04b1dcaeb7c297625e0e1ea5727ae11e","datavalue":{"value":{"entity-type":"item","numeric-id":2498910,"id":"Q2498910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c7e63e66fe75bb108165c81be197c5aef3bd318","datavalue":{"value":{"amount":"+0.87063056","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":"Q4842534$5B78B168-A052-4B23-B7C0-9188A4A4A129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"445e9d45ede3d74975d51ebfa8c96d634e63ea56","datavalue":{"value":{"entity-type":"item","numeric-id":1919354,"id":"Q1919354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a45c9b5286d5f99f1ba2f2fe933ce10d8a00e0e3","datavalue":{"value":{"amount":"+0.86832726","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":"Q4842534$1C5ADA3B-0628-4E1F-9B07-B880A998CEE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa957b74bd97088bf2097d500324cfe815d0aa2f","datavalue":{"value":{"entity-type":"item","numeric-id":4234966,"id":"Q4234966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"674b8ed06b2c748709cfca923fb3bdf7fce8e172","datavalue":{"value":{"amount":"+0.8660188","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":"Q4842534$E8A0B12D-997A-4AD6-AC8A-E5FE9C9DC494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71555a3198ca6ccf0804734c7fbe0d63a1610743","datavalue":{"value":{"entity-type":"item","numeric-id":4461714,"id":"Q4461714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6ff1851837dd980ff3d90829209a6af007b0848","datavalue":{"value":{"amount":"+0.85991055","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":"Q4842534$2A1236A8-5EA5-4054-AC0F-073BDA0B313B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74c6eef8832514760855960e9f45d9444cb78cec","datavalue":{"value":{"entity-type":"item","numeric-id":532406,"id":"Q532406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0921d8151b711b8ccde079075044709109df4a61","datavalue":{"value":{"amount":"+0.8524382","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":"Q4842534$97D46042-8E88-4EC2-9583-0D0C3506CCC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bde91441ac9e10a466a7ee95aae27d587fcf5a64","datavalue":{"value":{"entity-type":"item","numeric-id":2890506,"id":"Q2890506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0482f9342cdc1687cb3b1f02cfad3955164743db","datavalue":{"value":{"amount":"+0.85185385","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":"Q4842534$457A8641-6EEA-460F-B055-69FCDBDBE86C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b0a0d565da92f52b216f298eba135557980aea","datavalue":{"value":{"entity-type":"item","numeric-id":3499754,"id":"Q3499754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"440e19e92fad5b29f923763a49d30247a76cc33a","datavalue":{"value":{"amount":"+0.8513297","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":"Q4842534$AA97C7FE-4527-47F0-B071-40405D37AB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f6df5b5545456b9463e30ec46ccce382a0ff209","datavalue":{"value":{"entity-type":"item","numeric-id":2943360,"id":"Q2943360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b19c2abf696bdbee90c405ce00f0670c179d641d","datavalue":{"value":{"amount":"+0.849411","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":"Q4842534$DE35239A-14A7-417C-92FC-897C345A30DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4842534","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4842534"}}}}}