{"entities":{"Q2964454":{"pageid":2975179,"ns":120,"title":"Item:Q2964454","lastrevid":58078737,"modified":"2026-04-03T17:29:54Z","type":"item","id":"Q2964454","labels":{"en":{"language":"en","value":"NRCL -- a model building approach to the Bernays-Sch\u00f6nfinkel fragment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6688808"}},"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":"Q2964454$C2760426-2B83-40B0-9FD5-D2A5814C7128","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f79a74a78b10948c7ddd039173df56179e75040a","datavalue":{"value":{"text":"NRCL - A Model Building Approach to\u00a0the Bernays-Sch\u00f6nfinkel Fragment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2964454$210C0241-49AE-4C04-A4A8-EFCB888883C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"558911a10f385625b4b6d4867a4cfa335cb1baa2","datavalue":{"value":"1471.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964454$EC76FA97-3712-46A8-AA5C-F0BE6C2EFFCE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7416fd7acdc7269f27bdfbdde40d8037c37083ee","datavalue":{"value":"10.1007/978-3-319-24246-0_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964454$0B67CFBA-8BE9-4A73-BFFA-F91559C85025","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d4b5f0da3ed929a8110972a63c5b43e40ae4c41","datavalue":{"value":{"entity-type":"item","numeric-id":2964453,"id":"Q2964453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964454$E06000ED-A119-4BD0-8506-87E53C37EA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e858e644a5f8f9e799cff3da307c11b687abc60c","datavalue":{"value":{"entity-type":"item","numeric-id":831914,"id":"Q831914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964454$45870DB4-700A-4AAF-82A9-11C27A4759DE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94ee78e0a7dd5ca422048ab882699df0d73d43b3","datavalue":{"value":{"entity-type":"item","numeric-id":2849475,"id":"Q2849475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964454$C9F817B8-287D-4EBB-BCCF-D128571C76B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"239465d3f72b1d0ceb374a3180654de1deb818a8","datavalue":{"value":{"time":"+2017-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2964454$39E9EB27-7C31-49D1-908C-2F9DEF43351D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bdabb065468d82ab114f47786ca6564bf1ed711b","datavalue":{"value":"https://arxiv.org/abs/1502.05501","type":"string"},"datatype":"url"},"type":"statement","id":"Q2964454$098AD7D1-90DC-4F74-A4A6-9B2198D15541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"7280871a2f86e6b35c3e33815ba23a63b6096f58","datavalue":{"value":"http://hdl.handle.net/11858/00-001M-0000-0025-B02B-F","type":"string"},"datatype":"url"},"type":"statement","id":"Q2964454$903DB320-FAFF-40DF-A3F5-095B2DFB0BDF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964454$9A6FF207-789E-41AE-B553-4B73D19DFF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964454$3D09D5E0-1B1D-48CF-832A-11B4677CB678","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14b998afea5d4e9d518219f3bcfdb00ea840ccc4","datavalue":{"value":"6688808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964454$5D828691-834B-48A7-8431-4ADE0C9FEB26","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964454$C9F5443C-735A-4147-B04A-570E48E4A1B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"35d91cdb711a170a910b87f452fe7b719797aa1c","datavalue":{"value":{"entity-type":"item","numeric-id":23845,"id":"Q23845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964454$D9D9CDF3-E9C1-4721-965E-F0F95FE7E9CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cea1b2cb84bb47ca577fcebf0f42420b207179eb","datavalue":{"value":{"entity-type":"item","numeric-id":16359,"id":"Q16359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964454$333045AA-8ECC-4A2F-B5C0-8100BC0083D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"83e2dec25ea583652d0e07d4393a843812f4b48b","datavalue":{"value":{"entity-type":"item","numeric-id":21686,"id":"Q21686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964454$45DC3397-C5F8-4012-AA24-C0293AF066FA","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":"Q2964454$F39AC72C-7E69-460C-B2D2-14EE40570ACE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"648c3bbdeba62d825c2c8378a6dda5c5f4f4c77b","datavalue":{"value":"W1927589922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964454$77A950C1-F62D-4150-A92A-B0C39CF1B965","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"151234b3a8c514de725beb8281dddac3a274ecf1","datavalue":{"value":{"entity-type":"item","numeric-id":2964454,"id":"Q2964454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964454$4165C1EE-4B6A-4A65-861A-15F32DF5FB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ba556dba03bf31cf58af7f286faede7069925ed","datavalue":{"value":{"entity-type":"item","numeric-id":951681,"id":"Q951681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964454$E8AC9DA0-8504-44AA-B935-2C78CB8EB156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b1137cf78c4cad0e217f70ec321f2a593915490","datavalue":{"value":{"entity-type":"item","numeric-id":2751353,"id":"Q2751353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964454$75293631-5C78-464C-B6FE-E24955277B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98b850b043885273916728e7ea46c854030ea9cd","datavalue":{"value":{"entity-type":"item","numeric-id":5387921,"id":"Q5387921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964454$55893576-F09B-4585-897B-7A3B79242F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b07bee7e03caec103786e5014f6d4794b8bbdd6","datavalue":{"value":{"entity-type":"item","numeric-id":5900727,"id":"Q5900727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964454$ACD04F91-5313-4579-AAC1-2E71FAACE73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964454$37466072-641C-44DC-9CC9-4ECF65027099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7f4e131abd397423f508ff6cb02fd16c492dec","datavalue":{"value":{"entity-type":"item","numeric-id":1037396,"id":"Q1037396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964454$FF240984-3C54-4140-BEAE-7A194512A98B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58709679cfff7718457ae5dbfaa34a4e9b17219c","datavalue":{"value":{"entity-type":"item","numeric-id":5812263,"id":"Q5812263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964454$AE6C9857-B7B9-4AD5-A4A8-6BC8B54223A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bd13832e4858f20ceea370b9af3d4412d8bd11c","datavalue":{"value":{"entity-type":"item","numeric-id":4913861,"id":"Q4913861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964454$06C6CDA1-268C-4F8C-8F09-CCA5CD7C1A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33890b7faad584193275d91a4cd4d3b147aff5a7","datavalue":{"value":{"entity-type":"item","numeric-id":3541709,"id":"Q3541709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964454$17C06870-8DD4-45BF-8EB8-E6893B0492AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abd7c21ad90e0dd8485a1544cb35dfb6ee469ffb","datavalue":{"value":{"entity-type":"item","numeric-id":4916080,"id":"Q4916080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964454$6481BFC8-B5FF-46CE-94D2-CA4D6C7B70E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb79914689caabf010261282c9f40800b3da98d3","datavalue":{"value":{"entity-type":"item","numeric-id":2849491,"id":"Q2849491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964454$E79853F8-B76F-4269-98CA-BA387939AF8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7badfee30610a43b034debae14b09b94e4d33bb5","datavalue":{"value":{"entity-type":"item","numeric-id":1100924,"id":"Q1100924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964454$E111F38D-DC0A-4C0A-A731-464E22AD56F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d6e5a2ec66a572177ef7c34d7ff9e3c5a3050d5","datavalue":{"value":{"entity-type":"item","numeric-id":1157324,"id":"Q1157324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964454$044CB920-AE29-44AD-B41D-FD2D3928856D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"103d28c1dbdf16ee025b2b302833c03273293813","datavalue":{"value":{"entity-type":"item","numeric-id":5705940,"id":"Q5705940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964454$CAE6E60D-9132-464D-9C78-3BA52BBB37FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f14878b4342799995051ac9bc54cd21c98efc98","datavalue":{"value":{"entity-type":"item","numeric-id":2751359,"id":"Q2751359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964454$4654E9D5-3446-49E8-9B90-09B99D95C6E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49162db0a9f16ba8ff1d16d655987623c3c4c4d5","datavalue":{"value":{"entity-type":"item","numeric-id":3541721,"id":"Q3541721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964454$B1E04868-3411-4151-B4CB-1BC5BD540209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93d71c3b92ca55baa877bab542d89fc889c93f6f","datavalue":{"value":{"entity-type":"item","numeric-id":972432,"id":"Q972432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964454$A00F9797-E87C-4D6F-930A-C57362574AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309a715ecfe3fe3e4ec0e698ae13dce021cfc93e","datavalue":{"value":{"entity-type":"item","numeric-id":2724150,"id":"Q2724150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964454$FA73C935-CC55-4EBF-8C7D-99CF096B2E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72857eab035e148de2ad6ba24027d5984b9b7b85","datavalue":{"value":{"entity-type":"item","numeric-id":5747783,"id":"Q5747783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964454$7B6F7498-9520-4B07-8B67-2F43F25AF829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81507f430d90ccca44c5914f167260e0646ee88a","datavalue":{"value":{"entity-type":"item","numeric-id":2751379,"id":"Q2751379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964454$40335D7D-061B-4FF9-A6AD-E946E4A5D3A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70fad3ad669d9dd0aa48156ec38806b7e7162e21","datavalue":{"value":{"entity-type":"item","numeric-id":2234101,"id":"Q2234101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afdc34b259e3f2d6add3b1dde35105c4fa4c1435","datavalue":{"value":{"amount":"+0.8251860737800598","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":"Q2964454$4B2D4008-CD5C-4BB0-8CB0-AFA0404F7F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad2518c21d720410e4f93988ea178553c975bccb","datavalue":{"value":{"entity-type":"item","numeric-id":682374,"id":"Q682374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b7711334d50371da0d03d23dcecfc6e9dafb15b","datavalue":{"value":{"amount":"+0.739076554775238","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":"Q2964454$4CBD2528-6061-4C5A-B2AD-7A963EAE9321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2eeffa01fb3a58df72f772a4bbb6c9e6ba345984","datavalue":{"value":{"entity-type":"item","numeric-id":2926635,"id":"Q2926635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0d3c8050b66a1273b0766361b53ee4b5f7396bc","datavalue":{"value":{"amount":"+0.7211540937423706","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":"Q2964454$D8D01A42-6AA0-4FCE-9AC1-A6B48BC0BC44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44469c695c7d19631de7e636f5e7f496493f9406","datavalue":{"value":{"entity-type":"item","numeric-id":4283235,"id":"Q4283235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c029faebd58dfb725bb334e164e007ff3ee85679","datavalue":{"value":{"amount":"+0.7174034118652344","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":"Q2964454$2B52BC8E-C2FD-4E6C-9E29-F73310584BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1c0c2b60a9c352ec803ae1eb633319934138b9f","datavalue":{"value":{"entity-type":"item","numeric-id":4916224,"id":"Q4916224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10bcc7e8d1857b1320e8f3a2f28eac7183c1dd85","datavalue":{"value":{"amount":"+0.7131277322769165","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":"Q2964454$6AD047EE-80FA-4667-99DF-B289AE60D5DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2964454","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2964454"}}}}}