{"entities":{"Q4884662":{"pageid":6914241,"ns":120,"title":"Item:Q4884662","lastrevid":41595819,"modified":"2025-05-06T05:27:29Z","type":"item","id":"Q4884662","labels":{"en":{"language":"en","value":"Techniques of computable set theory with applications to proof verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 897297"}},"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":"Q4884662$1D104C68-2419-44BB-9B0D-F01AC53BA479","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab31d5fabbf59d40d723faa88935554a11cdf7b5","datavalue":{"value":{"text":"Techniques of computable set theory with applications to proof verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4884662$E7145F94-0122-4C90-84A1-1DCFF2A42550","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4e35e14a3cb0f7f466887f05f2a67c00b5bf808","datavalue":{"value":"0852.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4884662$69A4F627-2D11-4A16-8415-F57C8338A4AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5128676afd48f5f15760e43556d4ca2d4175b4bb","datavalue":{"value":{"entity-type":"item","numeric-id":313071,"id":"Q313071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4884662$9A03C8F3-13B8-40A5-8231-E857976A3E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8934b36c73ee5d3627307837cc1f8c0d088756db","datavalue":{"value":{"entity-type":"item","numeric-id":795030,"id":"Q795030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4884662$9AB36FF6-83E2-479B-B9F4-2634334FB2DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c22ab6e6540355a2ab561fe85469410018fab286","datavalue":{"value":{"entity-type":"item","numeric-id":2710688,"id":"Q2710688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4884662$D09215AA-EDD6-4C26-9A67-3E634E303010","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"506e87fc86252a2bde5b75d9d665c6e1091336d4","datavalue":{"value":{"time":"+1996-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4884662$5A43409A-E7FF-4E07-BD31-9A65E8E584FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4884662$5A57256B-4D43-4266-BD29-848130AD5569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d6d1b45c606677a96fadd625efc72a171c20037","datavalue":{"value":"03E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4884662$7BBF81E6-6D42-4E94-B3CB-300D94A2A87F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4884662$DF5AC05E-F738-45B9-B227-0873094AB124","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19c704f297166d53d88eb13ea48cacd48e1a9285","datavalue":{"value":"897297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4884662$7D4549FE-E99C-4208-8586-43177EF532C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"641010442a40dc087e5a1954c30cefbe2497e3b7","datavalue":{"value":"decidability of satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4884662$43D9BF82-42A9-47CF-AEFA-74F8C52B5713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c38ffe0e9d3e08736a7716ad5731c95e9800202","datavalue":{"value":"fragments of set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4884662$BE1180A0-B7C1-47B4-9DDA-651231ED1DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q4884662$F5DFF384-90EF-410B-9223-84AFF52D3BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d4b608d2ef334644d4aaa6f389c89f17cc37215","datavalue":{"value":"tableau calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4884662$4B619037-1320-4694-9DA5-6510E3A01056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4884662$F72CDF86-98B7-4E77-B45B-E81566F1F185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"306588b799fd2527722adc2198131fba5f8880c7","datavalue":{"value":"multi-sorted fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q4884662$22D11F2E-850F-421E-A4AE-6ACE35FDC45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a243f07e9b44814d27455dabf1ca2db99179c7e","datavalue":{"value":"elementary graph theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4884662$17F7A451-5DCE-426E-9A95-B598D581CD8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"649a593adf0ec05fe6ba43e87b2505e57423c8bb","datavalue":{"value":"topological closure operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4884662$745C33BA-050E-4AB7-816E-809A49106EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14f3d981a77a9cdada21819d2a81fd7435821ed1","datavalue":{"value":"proof verifier ETNA","type":"string"},"datatype":"string"},"type":"statement","id":"Q4884662$872817FE-6CAC-4C17-A0DD-1FAD1C12C772","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1b195f8786ad3db7801e31f115c4ab83efaf3fb3","datavalue":{"value":{"entity-type":"item","numeric-id":14110,"id":"Q14110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4884662$B8C97812-EADD-43EE-A070-63EB3A30F5A7","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":"Q4884662$F479C8E4-575E-485C-8F1C-426422920383","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5212df2f599d59abf78d4ba1e03979c6225e1ff","datavalue":{"value":"https://doi.org/10.1002/cpa.3160480902","type":"string"},"datatype":"url"},"type":"statement","id":"Q4884662$2AFA9579-B4CA-4F31-8AC5-A99A90D0829F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b02aab803b81864a8ecf6bd9036f56ef1c2c25a2","datavalue":{"value":"W2070159660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4884662$EED8BB66-512A-42B3-B13E-C6324EDA846F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2d5fae29fce4e1471763763841f1668768a93c2","datavalue":{"value":{"entity-type":"item","numeric-id":4198785,"id":"Q4198785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4884662$FDC4F10C-3FD4-48AF-B162-618026CE4536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aad2711eb9c64a58dada485191047b8af29959d","datavalue":{"value":{"entity-type":"item","numeric-id":4040283,"id":"Q4040283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4884662$9803A880-15EC-47FF-9129-ADD058C24B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f254cf73cdca9716cc54190afeef77e222e4e762","datavalue":{"value":{"entity-type":"item","numeric-id":3475242,"id":"Q3475242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4884662$D69448F8-80B6-40CD-A2E5-6F51FC56C70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b907711e4595ecbcd437634455de9a8e360cc41","datavalue":{"value":{"entity-type":"item","numeric-id":4234182,"id":"Q4234182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4884662$3F939549-D758-4D9F-B55B-41C5A4D20D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a53acb36cd3f6a300b98b7575bdfbb8f78a15a82","datavalue":{"value":{"entity-type":"item","numeric-id":4268492,"id":"Q4268492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4884662$B7ED3EE2-237A-41DD-B3BB-7E2FF48EF1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fe00804b1ceb029c0891ed68931860b2311cedf","datavalue":{"value":{"entity-type":"item","numeric-id":4281682,"id":"Q4281682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4884662$4A71A648-F7E7-4025-BCD6-3F056C952146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da9035a3503d06ad7946ad5c060940ce1e7b476e","datavalue":{"value":{"entity-type":"item","numeric-id":3905252,"id":"Q3905252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4884662$6B61E221-5704-433A-8D72-06536A51B08F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a68ad7dba2d11e107da42bf62a858e27a07866d1","datavalue":{"value":"10.1002/CPA.3160480902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4884662$9BB5BA88-8818-458D-A814-95B2953949B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ebbb2ca2ad77929c4fe2fa8afb5c26ce4f83883","datavalue":{"value":{"entity-type":"item","numeric-id":4222972,"id":"Q4222972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ee10ea103c96231c1a84722c5323d8619e08165","datavalue":{"value":{"amount":"+0.9111558","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4884662$85796C7F-DDD5-4A3E-B088-B22AFCB25389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f1ab8fcc1a741d2ab32879528c1dbdde436cacb","datavalue":{"value":{"entity-type":"item","numeric-id":5749278,"id":"Q5749278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46395cf9a89be4371fa8633c3a122664e159baa1","datavalue":{"value":{"amount":"+0.9105952","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4884662$7ECA68E0-5B55-4C59-AB3F-C2C1B6F6AB5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2aa9d20755d96e0f90eba8ccc606b888c9bdda98","datavalue":{"value":{"entity-type":"item","numeric-id":4513965,"id":"Q4513965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4a2f81d7872cf50b1eaa75fe1f40a6cdf95824f","datavalue":{"value":{"amount":"+0.90144825","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4884662$FF454522-44BC-482A-A303-2C4EC27644AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3415eaa36615df67be05d83e3117902889d9968","datavalue":{"value":{"entity-type":"item","numeric-id":4196436,"id":"Q4196436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef9b3845de4d2498df6a31933ab109a2958c33da","datavalue":{"value":{"amount":"+0.8985784","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4884662$F5676F6F-1D96-452D-BA5E-D96284B18414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfa2d635e780fd8c6053d8f3c06483ba25a80edb","datavalue":{"value":{"entity-type":"item","numeric-id":4436031,"id":"Q4436031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5482049d8589a603a83d85550a88543f7ea1a893","datavalue":{"value":{"amount":"+0.8972583","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4884662$39447DDD-8775-4E6F-B758-7D9BA2F0ADD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de72a55ad8714891c24ede823c98f307f17fcba8","datavalue":{"value":{"entity-type":"item","numeric-id":1319386,"id":"Q1319386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f86c611d4cd316790803c940d5d976a3e413c5e","datavalue":{"value":{"amount":"+0.8944342","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4884662$B6CE4B9A-4DD5-4BBD-BEB8-2B621D4891E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17cc52fe64c80efdbb50bca86db9ff4381a16582","datavalue":{"value":{"entity-type":"item","numeric-id":4357068,"id":"Q4357068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9060f977e6a9121b4236e2876aab8742dca96c15","datavalue":{"value":{"amount":"+0.8939649","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4884662$91F25FB1-E1E0-4545-9340-6785CC001530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3da107f7301806c651c6cf37517799711264c5f4","datavalue":{"value":{"entity-type":"item","numeric-id":3016125,"id":"Q3016125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21082c085a574b51ceaf62e57d661a66be27f036","datavalue":{"value":{"amount":"+0.8939011","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4884662$1ABF3A77-999E-437C-BEA3-BD23204A814A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcba02a33af4aa7d72de12bc9aee7a413cb1c45b","datavalue":{"value":{"entity-type":"item","numeric-id":4553281,"id":"Q4553281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"374f1ee46fca3f1d99b1e5f9f61ae3020624a60a","datavalue":{"value":{"amount":"+0.89106864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4884662$F57FE070-65B1-441F-BDEB-44B341980A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f974ee18e388c982de73c3593132b99ae598447","datavalue":{"value":{"entity-type":"item","numeric-id":2842623,"id":"Q2842623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc126776ef31c2c397378f9dcc04bcb31c2c9063","datavalue":{"value":{"amount":"+0.88991654","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4884662$EF115931-9EA1-4C2F-B26E-71CF45382E87","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4884662","badges":[]}}}}}