{"entities":{"Q2441769":{"pageid":2452512,"ns":120,"title":"Item:Q2441769","lastrevid":44099070,"modified":"2025-11-19T22:50:27Z","type":"item","id":"Q2441769","labels":{"en":{"language":"en","value":"Preface to the special issue ``SI: satisfiability modulo theories''"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6275286"}},"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":"Q2441769$51DD2DF3-8CAC-49B4-B8FE-B700B3E9BED2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e9e0a8cd309dcc6fbd92a41dc0abc579420441e","datavalue":{"value":{"text":"Preface to the special issue ``SI: satisfiability modulo theories''","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2441769$A082BFCE-4387-4C1A-9CE1-041FF6161E3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c833026a4dd36c24da08b3128c654f6351d027c6","datavalue":{"value":"1284.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441769$5244F698-D146-4D96-8473-7E93F57C45DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441769$28794D9F-C500-4C7D-BCE4-8B74081FEADC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8e12da0e8bd681f94b625e1ea013bf02fcfebe5","datavalue":{"value":{"time":"+2014-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2441769$65AAB4CA-3ABA-462C-B188-0588F13CFB6A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441769$B1EA09CC-D85E-4AF3-A551-E1378543EB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441769$EF2A84B2-322C-4200-94DC-43614C834240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441769$D843E3AA-702E-42FF-AB25-90867078DA0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441769$63BAD777-77AA-4BBE-A957-DC681314C90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441769$E28B3551-8B85-47FC-B236-47BD9AF1FAA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"342a6161f41187e2c595daa41b09cee10ab1ace9","datavalue":{"value":"00B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441769$E8795414-E53D-4A63-8CCF-32CF16155179","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa43e8233c51cc9446f08a6aa22c283e1191aa3f","datavalue":{"value":"6275286","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441769$B6AD50B7-0D08-4540-B829-6DC1A6E1E41B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f94973da57644d5293cf3c9ac6633e23f2b0fa3a","datavalue":{"value":{"entity-type":"item","numeric-id":21445,"id":"Q21445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441769$6DA86FD3-466F-48E5-B2D9-C9FDF5D65ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441769$AB78FEC9-45D5-485C-A54B-5AD346CA372A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040a8483cf79deba3a2eb66461dcc90b466cac47","datavalue":{"value":{"entity-type":"item","numeric-id":33420,"id":"Q33420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441769$8D2C8D6D-B6CA-4D9B-BA9A-0D944CF85EBD","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":"Q2441769$007B5D0E-66B7-4C00-B0C0-FF1D1BEB7721","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4e787ad000a845120f4f1c47f881aae9caf9a72","datavalue":{"value":"https://doi.org/10.1007/s10703-012-0172-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2441769$5051F60D-6CAB-44F8-AF35-C7E94D642A4A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"22f6287cd5f0c36a789b14ac0c3a2c79b755846f","datavalue":{"value":"W2016568516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441769$82F0D1E9-D333-470B-AE63-B272C296FC6B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f71dd5571a3c1c99537e11b357ad1449f45692c1","datavalue":{"value":{"entity-type":"item","numeric-id":4809056,"id":"Q4809056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441769$14A13AFD-59A0-4288-8DB2-9650D9571DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dc64d6d31493ac74da4f6c177f509ec4a9d4b14","datavalue":{"value":{"entity-type":"item","numeric-id":4804899,"id":"Q4804899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441769$4D271898-9BB2-4A52-A053-B3E0278B4B0C","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":"Q2441769$5504CD77-FC8C-4F50-9536-FF9C4466D8E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"625f6543cb45ef040d1e85336980be3f05f00677","datavalue":{"value":{"entity-type":"item","numeric-id":5900690,"id":"Q5900690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441769$6D424718-D478-4975-90C3-44CB627850F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40d202b001b8ed36eaa43fbe0e48d77bab7ad85a","datavalue":{"value":{"entity-type":"item","numeric-id":4553256,"id":"Q4553256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441769$A24F56AA-CFE7-4D1C-9692-1194726B7A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cb8e50e6c3bd60a9a9a59407cf30e8e788baa4","datavalue":{"value":{"entity-type":"item","numeric-id":3618853,"id":"Q3618853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441769$914734FB-B976-4470-B454-40D5682240B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76f085e060cc02117b4ec73931c77617da801d17","datavalue":{"value":{"entity-type":"item","numeric-id":2473386,"id":"Q2473386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441769$89AB1C05-86CC-49F5-A1D6-B2D6AD78CBDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53e31460d03447356beb6dcb816454c7cb3b6e4f","datavalue":{"value":{"entity-type":"item","numeric-id":5392293,"id":"Q5392293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441769$D1E76018-9CDA-4D7B-8BD1-D7CBD17118A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bfd62865a78026bb5cdd8ce719227f1e763aff7","datavalue":{"value":{"entity-type":"item","numeric-id":4804919,"id":"Q4804919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2441769$C1E089BF-7D6F-439A-8FF7-9BC7A8892365","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd1f483e848ea18d7fa10382633117636e754d22","datavalue":{"value":"10.1007/S10703-012-0172-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2441769$F84CC27E-CB44-44CB-AEEF-CDA9FF83C560","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2441769","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2441769"}}}}}