{"entities":{"Q4589601":{"pageid":6619186,"ns":120,"title":"Item:Q4589601","lastrevid":52954295,"modified":"2026-01-23T21:46:47Z","type":"item","id":"Q4589601","labels":{"en":{"language":"en","value":"Herbrand-satisfiability of a quantified set-theoretic fragment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6805738"}},"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":"Q4589601$B4E41563-00E0-46AF-8C02-9624492167F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a9e8bce7dc61a326c91570e83dc49ac516381e2","datavalue":{"value":{"text":"Herbrand-satisfiability of a Quantified Set-theoretic Fragment*","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4589601$2B995413-8E27-401F-B036-AF1CEDAE6349","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af374b5422c50dbfcfccd1e14f9d8c002707c16d","datavalue":{"value":"1374.68238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589601$98086EB2-0301-498C-963A-BDD996F154A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"754df4cb41bc1b82e45e90221c8a03b16abe6297","datavalue":{"value":"10.3233/FI-2017-1460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589601$21C9FBF0-48A7-484E-BBBD-83A257EFC355","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":"Q4589601$84EF0856-7A81-4CFE-9977-F6CB0B24EB3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e524e6a5b0294dd1c05a1ab8f416f23fbe4c7c7a","datavalue":{"value":{"entity-type":"item","numeric-id":477205,"id":"Q477205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589601$4661C47D-25BB-4A30-A397-7C167CA54E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df9cd3dd7f2fdc487d61a2d3b36f6537d88acf6b","datavalue":{"value":{"entity-type":"item","numeric-id":737086,"id":"Q737086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589601$EF440BBC-24D8-43A5-A302-14EF02D22EB4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589601$8BFAD925-CA43-4094-865B-00D54B74611E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c851dddc18687fa1af98fb94fafafdff8d946b43","datavalue":{"value":{"time":"+2017-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4589601$7907418B-AF95-4F81-AF16-EB0A63D29007","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589601$2F902A8F-B4BA-4CCA-A9B9-D5E9D097593E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589601$495E4884-5C2B-44D2-B983-B283430DD933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589601$7F6D34D6-53EC-4E1F-8F19-20264877E4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589601$B7CD302C-999D-40B4-83C7-7E5A5939461F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589601$9D415241-23C3-40B0-8383-E9E3DE5437DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07aa6faa2d66e4c465f889fd118aad4adf8c9efd","datavalue":{"value":"6805738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589601$89159041-70ED-4B15-AB83-2F9904547F23","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":"Q4589601$339A220D-01E6-4FBC-95CB-5F6C8C01EBC2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4687926cfb70e3bf6e862356d4d99a1a92cd443e","datavalue":{"value":"https://doi.org/10.3233/fi-2017-1460","type":"string"},"datatype":"url"},"type":"statement","id":"Q4589601$C9963A13-97A0-408A-868E-DA2B75534748","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"13958bd7d8f541cd2e8737fd5aaa539dac5f4e26","datavalue":{"value":"W2593625122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589601$87AD9205-CDC6-4650-B135-E172F92B6F5B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa71cd3b1c9476b91bf7510fb1f764dcc3cf3a0e","datavalue":{"value":{"entity-type":"item","numeric-id":477206,"id":"Q477206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63975c39ed230bb536f7c2157e06e175efc8c6ff","datavalue":{"value":{"amount":"+0.8154289126396179","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":"Q4589601$70EFA3DB-8FB5-4D39-901C-79E42ED0FE8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68391f8ef32c85200322ad9cb86b329f984620bd","datavalue":{"value":{"entity-type":"item","numeric-id":810489,"id":"Q810489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1d6b85360addbfb680e19e333c89de91647106a","datavalue":{"value":{"amount":"+0.7887593507766724","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":"Q4589601$A9AE76E2-3B7D-4070-92F7-BA180838E2A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77838326060408aff04f2253158355d5b9f5bfe2","datavalue":{"value":{"entity-type":"item","numeric-id":2915678,"id":"Q2915678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf7ed441126f095f890d42422fbcfedb5c2e543f","datavalue":{"value":{"amount":"+0.7872704267501831","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":"Q4589601$A099C68E-BBA1-4DD9-9E02-5CD955436AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0419543bc1078792c29b3756c70500d712a5f926","datavalue":{"value":{"entity-type":"item","numeric-id":4986517,"id":"Q4986517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b6523efec262fc2adb2aba0f522f8b5ee608e68","datavalue":{"value":{"amount":"+0.7858585119247437","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":"Q4589601$EF533000-8BF0-4EBF-9763-4BFAD41AB5A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60b00271b24f47d225c4f196d3f4765427eb3d31","datavalue":{"value":{"entity-type":"item","numeric-id":810494,"id":"Q810494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06570af74059fbe83b5ea23f5a1c8e8f20785dbf","datavalue":{"value":{"amount":"+0.7795460224151611","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":"Q4589601$F1315CA5-2A05-4B59-ACED-67CEE2D0F64F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4589601","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4589601"}}}}}