{"entities":{"Q6561346":{"pageid":14172501,"ns":120,"title":"Item:Q6561346","lastrevid":42349274,"modified":"2025-06-12T08:37:49Z","type":"item","id":"Q6561346","labels":{"en":{"language":"en","value":"Realizability modulo theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7870778"}},"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":"Q6561346$30C021DD-5F38-4E82-BA42-2385B4E171C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9992069076881fe405f67e5580df54e7adc07a1a","datavalue":{"value":{"text":"Realizability modulo theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6561346$028E2C23-2099-47CB-9ED0-655F6FFC986D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe39e800ff28d2da8e8cd0b9a0ed3b5d5cf14c46","datavalue":{"value":{"entity-type":"item","numeric-id":6535689,"id":"Q6535689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561346$4C8CF0F8-CEDB-4AF1-B805-B5407CD3B1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8713ee3f10f93ccd03e7402b982f504280ddecb","datavalue":{"value":{"entity-type":"item","numeric-id":278751,"id":"Q278751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561346$B721AC41-0482-4DAA-B83E-C415E4D821A1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561346$6781BE3D-7630-4F42-AF29-07F993457929","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"810cbb80b3532059cbf7c621b480d82d1f9f012b","datavalue":{"value":{"time":"+2024-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6561346$4C596499-8A07-474D-B469-6CA5FB0E829A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6561346$33928099-19CD-4539-8542-6CF0E803B7EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca4d3389fa93c935acfe74703b3da823b2238d16","datavalue":{"value":"7870778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6561346$15DB3C04-D6C1-4DA0-BA55-914DC7113654","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6b1e4156ec825b5ebb97312456002faf670fec7","datavalue":{"value":"Boolean abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6561346$D269710C-12D7-4121-82EB-FCD3E5EF87C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77026ac81c16481c8cbec02083f93adc31a07ee8","datavalue":{"value":"LTL modulo theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6561346$C319FC4E-10EF-4105-8740-99B65C0FE660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61cc79fbecd7a7237d0440cd427ca9a105b86ce8","datavalue":{"value":"reactive synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6561346$1CDE29DE-DDB3-4C88-B8F1-45F29DA24E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dac36a0d5bcef050bd5c5ec480998b0eb01458a6","datavalue":{"value":"SMT solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6561346$075ADE6C-DC16-4D35-9EC6-EB2A8FDC3FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18d7e8a9c2fef410a0ec0f47c6e1f03bb0f97bc1","datavalue":{"value":"first-order theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q6561346$1B092E1B-D579-4FEA-9004-5C8D3C3A03EB","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":"Q6561346$3B257F5D-69B6-4770-A6AF-872E9F5678AF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561346$CF02BA8E-6142-46B8-B8BF-7BB45744E5E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64edbd4b0368a46cc24983dcdc802e4982142495","datavalue":{"value":{"entity-type":"item","numeric-id":5310200,"id":"Q5310200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561346$D0CFEB1B-3D85-43A7-9F58-D1C39EF63CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c57b0c2ffea0ea706eb4e8aea134862978b29b3","datavalue":{"value":{"entity-type":"item","numeric-id":5557927,"id":"Q5557927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561346$AE0CA2D2-F7AD-4E0B-B694-A14024745325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc7ce055161077ed6f3aeba8784aca561bea80b0","datavalue":{"value":{"entity-type":"item","numeric-id":1247317,"id":"Q1247317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561346$346E0E87-F7F8-4190-86DE-328FBD4BD968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"448e5abb05ec0c10b64746c80e216ef9d23df3a7","datavalue":{"value":{"entity-type":"item","numeric-id":5674430,"id":"Q5674430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561346$07FC5DB5-FBF7-499E-B4A6-34BF920C4D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c332978de07867f5a63637d2b762fa15783afc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4391216,"id":"Q4391216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561346$03E0E5D7-9F97-4900-868E-A5927E0B1D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73ea1a986b8212f90121d21e0a14bb9807498264","datavalue":{"value":{"entity-type":"item","numeric-id":5791204,"id":"Q5791204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561346$2CE11F2D-4945-491C-9A47-7EFB64F652CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3bc6dfc633db1b802a1487f9064ea79563c34bf","datavalue":{"value":{"entity-type":"item","numeric-id":4046035,"id":"Q4046035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561346$E70516DD-DF68-40BB-8E0F-FF3E47E32C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa3fdea9fccf79cf53bbf11bddfc388ed369a9bb","datavalue":{"value":{"entity-type":"item","numeric-id":2031420,"id":"Q2031420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561346$EF0022FD-FB7F-47E1-9B2E-87B914FF1E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87660c9c5fdc45e0d7335aa6496613f4289eb45a","datavalue":{"value":{"entity-type":"item","numeric-id":4391214,"id":"Q4391214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561346$5C99CB18-FA30-49FE-B637-BC720BA3A8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"813f00e49fcb12172c27504dfeecb9018f840f1f","datavalue":{"value":{"entity-type":"item","numeric-id":2651859,"id":"Q2651859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561346$FBCDB331-24AE-48D6-A7EB-6E37984C37EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d7798eba50e0ffe1e4306d4a4aa338f6be7be4","datavalue":{"value":{"entity-type":"item","numeric-id":4079605,"id":"Q4079605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561346$37A39836-A248-4CE9-A74B-F8D2E5A1B685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea65c8e88a7ff020836f9be5343bd164f76bec5d","datavalue":{"value":{"entity-type":"item","numeric-id":3795644,"id":"Q3795644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561346$5368688E-A4C4-41DB-8D1F-099157F333BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc0d7c2f9fbebdd682ae380725d8093d2d4a292","datavalue":{"value":{"entity-type":"item","numeric-id":5187264,"id":"Q5187264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561346$9F1E8225-7883-4174-AEFE-24EA956390CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b008c640b2d8061e30defcaaf98e0ace1773df","datavalue":{"value":{"entity-type":"item","numeric-id":5339289,"id":"Q5339289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561346$A4F7FCD2-19ED-48E7-BDA0-814382CB4BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f406c2e61a8f11f8b13ee95227117f1cfc523bb1","datavalue":{"value":{"entity-type":"item","numeric-id":5452202,"id":"Q5452202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561346$BA56F27D-2FDA-4C62-9B00-4DB3EFA3DB9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee375c7bcc9847e2999b97cdff8f98ca7e0a19de","datavalue":{"value":{"entity-type":"item","numeric-id":5898629,"id":"Q5898629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561346$C49D21A6-4B26-46B2-B6F2-4389A46D94DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6af1feed9420fbd9bfd80527390996ecd04d3fa9","datavalue":{"value":{"entity-type":"item","numeric-id":439954,"id":"Q439954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561346$0615BF5F-EDAD-44DB-8AF2-EB12655FAAF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"322fecad43f015e89045865f02f35505e3964273","datavalue":{"value":{"entity-type":"item","numeric-id":2058393,"id":"Q2058393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561346$A3A36CB4-019F-4FD3-88FD-5ED181EE97DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561346$26C7EC13-6A16-4278-AF02-C40897ABD4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79de7250e79a8ee5901a2ce3a1c147ba4c80a124","datavalue":{"value":{"entity-type":"item","numeric-id":6535690,"id":"Q6535690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561346$76639157-6142-46A2-A4F3-1653673F2B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37cb607d88ad8e6c1f7d392d876ae904ba548fc5","datavalue":{"value":{"entity-type":"item","numeric-id":2938081,"id":"Q2938081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561346$C4A2BC41-9641-492C-99A1-DEE21FDF5F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b237004628b28d35abd4b97b22c917ff2ee3b5d3","datavalue":{"value":{"entity-type":"item","numeric-id":6109605,"id":"Q6109605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561346$572FD322-E7B2-468A-86BE-076948D833C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f3ce0f7cea267fed088d824a336dafe8e57f511","datavalue":{"value":{"entity-type":"item","numeric-id":2988945,"id":"Q2988945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561346$7ABBF28B-3FE3-4D73-A816-6FD79015F598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5b4c95f53b57f2eb31607a9241c4b370cdcd831","datavalue":{"value":{"entity-type":"item","numeric-id":3939208,"id":"Q3939208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561346$C57A2584-CC6A-4B0B-B22E-9D16DF2061D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adb0fa90ee86e27dc86fd9982297b68bdbb64485","datavalue":{"value":{"entity-type":"item","numeric-id":4415249,"id":"Q4415249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561346$1F251851-A2FC-4996-A53E-AF9E6CEC6FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6effecd664f7d3305e8ec94d107dda510051aca","datavalue":{"value":{"entity-type":"item","numeric-id":6194596,"id":"Q6194596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561346$8620FF80-81D1-4772-A195-1C4A70140DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46961e556ffa0fa93ce9cc4445d14fe5890c5500","datavalue":{"value":{"entity-type":"item","numeric-id":6141780,"id":"Q6141780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561346$E2FC4507-B3CA-44CE-BECE-B15D73290690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e8484a4d0dd98795f30cf5ed95fd68d76cc3ac7","datavalue":{"value":{"entity-type":"item","numeric-id":832242,"id":"Q832242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561346$262FBE0B-BF93-423A-A675-CBE5A33F00EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"767027371f47351446d56e4b3b6a09eabc8be672","datavalue":{"value":{"entity-type":"item","numeric-id":5408418,"id":"Q5408418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561346$8A9B4FDC-C6FD-45ED-BC44-D28BA39A26A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebc578b41e877f4673edecb33e9ba731558625b3","datavalue":{"value":{"entity-type":"item","numeric-id":5222965,"id":"Q5222965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561346$08C5FF25-96FC-4568-8CBB-1D61E883611F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9222b8bfb9886db28df45303fde8efbaca9ad277","datavalue":{"value":{"entity-type":"item","numeric-id":3297765,"id":"Q3297765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561346$9D83E53E-AD0D-4B9A-AFCF-59D958063B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2b1ebc1ae7ffc3042b5e838a24da8662374478","datavalue":{"value":{"entity-type":"item","numeric-id":5898633,"id":"Q5898633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6561346$1CC0D151-5AC3-46E8-8AA7-948D6AB003C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8060318f3ba69581a20d5353734e05e34f73124f","datavalue":{"value":"10.1016/J.JLAMP.2024.100971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6561346$0D7EC473-7E01-4DE2-A17B-4F1CB637A06F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6561346","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6561346"}}}}}