{"entities":{"Q3007293":{"pageid":3018017,"ns":120,"title":"Item:Q3007293","lastrevid":45243223,"modified":"2025-12-03T17:03:47Z","type":"item","id":"Q3007293","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5910684"}},"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":"Q3007293$2A8CC497-DD31-46DD-B8D5-BA0A6FE715E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1948a4354fe16b2f7181de31599f2a82486000aa","datavalue":{"value":"1247.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007293$7A25E9FC-4B17-4FDB-868C-AC0BCC0B3C66","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6e6323a76251c50292471d4bbd0907fd41453aa","datavalue":{"value":{"entity-type":"item","numeric-id":175231,"id":"Q175231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007293$FD4ADD1A-BA5D-4FF0-A3B7-4EF410E18D4B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aaadc694b5c90aa791eb86162a7f02b09c9e536f","datavalue":{"value":{"time":"+2011-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3007293$B5DE77C0-90AB-45EF-921D-98CFDED62CE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007293$2543964E-1BCA-48EB-BAC9-D77D8793B218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007293$A368E942-BEBD-49F5-8C71-1781CAF8D46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007293$D46DF9D0-E965-4E49-98EA-6C4982630578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007293$172D093F-C616-4111-9235-5491DB99B8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007293$AFA5E01E-71BA-48DF-86F3-99EC51CFDFC3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f02e60a98aefef773088d6219b2fff1b932ecac6","datavalue":{"value":"5910684","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007293$DD9C9C87-0119-4AFD-B740-495B141192F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"febb5b9d9c4c4fe28f149afcd5d966b304430791","datavalue":{"value":"functional instantiation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007293$CBBF8C95-CD56-472F-AEC8-439C31A9FA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b34e81c9be74c25aae2603a8dfa343c349c2721","datavalue":{"value":"Skolemization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007293$0C990D1C-45D2-4391-BB20-4F8874285A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007293$92E49400-A8B3-4D58-A40B-7FD201CF8CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71e74e288b11011db5f441f4f403dd02189f29e5","datavalue":{"value":"principle of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007293$50350D69-8099-4D02-92FF-A4ADA2A745E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007293$28D12A8C-960A-4C4D-AE2D-24801FE29E52","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":"Q3007293$B37B2CDB-27E0-4C8C-8564-ABC1BCAC9DDE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9d722442ebe7234b4420dae5e80d0800a27da34","datavalue":{"value":{"entity-type":"item","numeric-id":1679784,"id":"Q1679784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e472a8c1c08943f51005352caa80f01dd4f459f5","datavalue":{"value":{"amount":"+0.9104366","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":"Q3007293$A9F6C520-AFB3-41CF-8CB5-D48431078D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f37120eab736a1f82e40f0298491ad008d55a6f","datavalue":{"value":{"entity-type":"item","numeric-id":3066779,"id":"Q3066779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"376c7bf4fb2ea9249f4cee29e3484cc141b3202c","datavalue":{"value":{"amount":"+0.89330745","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":"Q3007293$62B47785-7379-463D-9DE7-4627F78180B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"541353b112bb6c85237f794ccee61bbb66df3478","datavalue":{"value":{"entity-type":"item","numeric-id":3783260,"id":"Q3783260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54962862d12836291919640642eb83894129bc33","datavalue":{"value":{"amount":"+0.89028335","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":"Q3007293$8586A1A6-1FCF-42B7-AE7E-1475A3292A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c99be93658b969bab1c8b060a8b3d656d151da87","datavalue":{"value":{"entity-type":"item","numeric-id":6075144,"id":"Q6075144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76621c6c9558e383cf4db4f78e483a376cacf131","datavalue":{"value":{"amount":"+0.8863975","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":"Q3007293$0C053719-7766-4324-8BE4-BEBBA9B3232E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a406950e5f937626c00f57e9c859b419ac7875c","datavalue":{"value":{"entity-type":"item","numeric-id":3150767,"id":"Q3150767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98bcf7b2c909a223ab9d01402c2d0d2e4c8d69c0","datavalue":{"value":{"amount":"+0.88634986","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":"Q3007293$79727F46-005A-43FE-B301-9F823850F705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc80697436afde9f532ed6deab29ff7afdeed094","datavalue":{"value":{"entity-type":"item","numeric-id":3851081,"id":"Q3851081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a07469de03ffdc000046f69852b67a80df6a06ba","datavalue":{"value":{"amount":"+0.8861158","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":"Q3007293$A1CBBCB5-F54C-40F7-8350-1C472972A751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39fc8ab13e1e17dd94d04586a1b060205a7d806f","datavalue":{"value":{"entity-type":"item","numeric-id":1325708,"id":"Q1325708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"161d14662fc702a5baad67bb4db9145ef455d5ea","datavalue":{"value":{"amount":"+0.8806165","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":"Q3007293$98670135-6320-4EDC-94A5-4864DB664161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5e88b694dfda00218982d529d3ee8e733101544","datavalue":{"value":{"entity-type":"item","numeric-id":2928636,"id":"Q2928636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1802f6b95c96d1a9729645e8f7b25d4c50583c6e","datavalue":{"value":{"amount":"+0.8799738","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":"Q3007293$F12DD56B-4D10-4F72-83C9-9A4939B4C632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80bd43191682e284a627ffa95856dfafbe461ea5","datavalue":{"value":{"entity-type":"item","numeric-id":5858673,"id":"Q5858673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8778ba25d9822c9e7f7225834a42dd3ed2205d4e","datavalue":{"value":{"amount":"+0.8782286","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":"Q3007293$CA4D5560-308C-4921-98AB-103883A260D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3007293","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3007293"}}}}}